H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 3.513 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/List.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule List

((nub :: Eq a => [a] -> [a]) :: Eq a => [a] -> [a])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'

[] _

[]

nub'

(x : xs) ls

x `elem` ls

nub' xs ls

otherwise

x : nub' xs (x : ls)

module Maybe where

import qualified List
import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule List

((nub :: Eq a => [a] -> [a]) :: Eq a => [a] -> [a])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'

[] vw

[]

nub'

(x : xs) ls

x `elem` ls

nub' xs ls

otherwise

x : nub' xs (x : ls)

module Maybe where

import qualified List
import qualified Prelude

Cond Reductions:
The following Function with conditions

nub' [] vw = []

nub' (x : xs) ls

| x `elem` ls

= nub' xs ls

| otherwise

= x : nub' xs (x : ls)

is transformed to

nub' [] vw = nub'3 [] vw

nub' (x : xs) ls = nub'2 (x : xs) ls

nub'1 x xs ls True = nub' xs ls

nub'1 x xs ls False = nub'0 x xs ls otherwise

nub'0 x xs ls True = x : nub' xs (x : ls)

nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls)

nub'3 [] vw = []

nub'3 xz yu = nub'2 xz yu

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule List

((nub :: Eq a => [a] -> [a]) :: Eq a => [a] -> [a])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nub' l []

where

nub'	[] vw	=	nub'3 [] vw
nub'	(x : xs) ls	=	nub'2 (x : xs) ls

nub'0

x xs ls True

x : nub' xs (x : ls)

nub'1	x xs ls True	=	nub' xs ls
nub'1	x xs ls False	=	nub'0 x xs ls otherwise

nub'2

(x : xs) ls

nub'1 x xs ls (x `elem` ls)

nub'3	[] vw	=	[]
nub'3	xz yu	=	nub'2 xz yu

module Maybe where

import qualified List
import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

nub' l []

where

nub' [] vw = nub'3 [] vw

nub' (x : xs) ls = nub'2 (x : xs) ls

nub'0 x xs ls True = x : nub' xs (x : ls)

nub'1 x xs ls True = nub' xs ls

nub'1 x xs ls False = nub'0 x xs ls otherwise

nub'2 (x : xs) ls = nub'1 x xs ls (x `elem` ls)

nub'3 [] vw = []

nub'3 xz yu = nub'2 xz yu

are unpacked to the following functions on top level

nubNub' [] vw = nubNub'3 [] vw

nubNub' (x : xs) ls = nubNub'2 (x : xs) ls

nubNub'0 x xs ls True = x : nubNub' xs (x : ls)

nubNub'2 (x : xs) ls = nubNub'1 x xs ls (x `elem` ls)

nubNub'1 x xs ls True = nubNub' xs ls

nubNub'1 x xs ls False = nubNub'0 x xs ls otherwise

nubNub'3 [] vw = []

nubNub'3 xz yu = nubNub'2 xz yu

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

mainModule List

(nub :: Eq a => [a] -> [a])

module List where

import qualified Maybe
import qualified Prelude

nub :: Eq a => [a] -> [a]

nub

nubNub' l []

nubNub'	[] vw	=	nubNub'3 [] vw
nubNub'	(x : xs) ls	=	nubNub'2 (x : xs) ls

nubNub'0

x xs ls True

x : nubNub' xs (x : ls)

nubNub'1	x xs ls True	=	nubNub' xs ls
nubNub'1	x xs ls False	=	nubNub'0 x xs ls otherwise

nubNub'2

(x : xs) ls

nubNub'1 x xs ls (x `elem` ls)

nubNub'3	[] vw	=	[]
nubNub'3	xz yu	=	nubNub'2 xz yu

module Maybe where

import qualified List
import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="nub\n  Eq a",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="nub yv3\n  Eq a",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="nubNub' yv3 []\n  Eq a",fontsize=16,color="burlywood",shape="box"];3380[label="yv3/yv30 : yv31",fontsize=10,color="white",style="solid",shape="box"];4 -> 3380[label="",style="solid", color="burlywood", weight=9];
3380 -> 5[label="",style="solid", color="burlywood", weight=3];
3381[label="yv3/[]",fontsize=10,color="white",style="solid",shape="box"];4 -> 3381[label="",style="solid", color="burlywood", weight=9];
3381 -> 6[label="",style="solid", color="burlywood", weight=3];
5[label="nubNub' (yv30 : yv31) []\n  Eq a",fontsize=16,color="black",shape="box"];5 -> 7[label="",style="solid", color="black", weight=3];
6[label="nubNub' [] []\n  Eq a",fontsize=16,color="black",shape="box"];6 -> 8[label="",style="solid", color="black", weight=3];
7[label="nubNub'2 (yv30 : yv31) []\n  Eq a",fontsize=16,color="black",shape="box"];7 -> 9[label="",style="solid", color="black", weight=3];
8[label="nubNub'3 [] []\n  Eq a",fontsize=16,color="black",shape="box"];8 -> 10[label="",style="solid", color="black", weight=3];
9[label="nubNub'1 yv30 yv31 [] (yv30 `elem` [])\n  Eq a",fontsize=16,color="black",shape="box"];9 -> 11[label="",style="solid", color="black", weight=3];
10[label="[]\n  Eq a",fontsize=16,color="green",shape="box"];11[label="nubNub'1 yv30 yv31 [] (any . (==))\n  Eq a",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="nubNub'1 yv30 yv31 [] (any ((==) yv30) [])\n  Eq a",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="nubNub'1 yv30 yv31 [] (or . map ((==) yv30))\n  Eq a",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="nubNub'1 yv30 yv31 [] (or (map ((==) yv30) []))\n  Eq a",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="nubNub'1 yv30 yv31 [] (foldr (||) False (map ((==) yv30) []))\n  Eq a",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="nubNub'1 yv30 yv31 [] (foldr (||) False [])\n  Eq a",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
17[label="nubNub'1 yv30 yv31 [] False\n  Eq a",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
18[label="nubNub'0 yv30 yv31 [] otherwise\n  Eq a",fontsize=16,color="black",shape="box"];18 -> 19[label="",style="solid", color="black", weight=3];
19[label="nubNub'0 yv30 yv31 [] True\n  Eq a",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
20[label="yv30 : nubNub' yv31 (yv30 : [])\n  Eq a",fontsize=16,color="green",shape="box"];20 -> 21[label="",style="dashed", color="green", weight=3];
21[label="nubNub' yv31 (yv30 : [])\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];3382[label="yv31/yv310 : yv311",fontsize=10,color="white",style="solid",shape="box"];21 -> 3382[label="",style="solid", color="burlywood", weight=9];
3382 -> 22[label="",style="solid", color="burlywood", weight=3];
3383[label="yv31/[]",fontsize=10,color="white",style="solid",shape="box"];21 -> 3383[label="",style="solid", color="burlywood", weight=9];
3383 -> 23[label="",style="solid", color="burlywood", weight=3];
22[label="nubNub' (yv310 : yv311) (yv30 : [])\n  Eq a",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
23[label="nubNub' [] (yv30 : [])\n  Eq a",fontsize=16,color="black",shape="box"];23 -> 25[label="",style="solid", color="black", weight=3];
24[label="nubNub'2 (yv310 : yv311) (yv30 : [])\n  Eq a",fontsize=16,color="black",shape="box"];24 -> 26[label="",style="solid", color="black", weight=3];
25[label="nubNub'3 [] (yv30 : [])\n  Eq a",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
26[label="nubNub'1 yv310 yv311 (yv30 : []) (yv310 `elem` yv30 : [])\n  Eq a",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
27[label="[]\n  Eq a",fontsize=16,color="green",shape="box"];28 -> 1648[label="",style="dashed", color="red", weight=0];
28[label="nubNub'1 yv310 yv311 (yv30 : []) (any . (==))\n  Eq a",fontsize=16,color="magenta"];28 -> 1649[label="",style="dashed", color="magenta", weight=3];
28 -> 1650[label="",style="dashed", color="magenta", weight=3];
28 -> 1651[label="",style="dashed", color="magenta", weight=3];
28 -> 1652[label="",style="dashed", color="magenta", weight=3];
1649[label="yv30\n  Eq a",fontsize=16,color="green",shape="box"];1650[label="yv310\n  Eq a",fontsize=16,color="green",shape="box"];1651[label="[]\n  Eq a",fontsize=16,color="green",shape="box"];1652[label="yv311\n  Eq a",fontsize=16,color="green",shape="box"];1648[label="nubNub'1 yv234 yv235 (yv236 : yv237) (any . (==))\n  Eq a",fontsize=16,color="black",shape="triangle"];1648 -> 1673[label="",style="solid", color="black", weight=3];
1673[label="nubNub'1 yv234 yv235 (yv236 : yv237) (any ((==) yv234) (yv236 : yv237))\n  Eq a",fontsize=16,color="black",shape="box"];1673 -> 1674[label="",style="solid", color="black", weight=3];
1674[label="nubNub'1 yv234 yv235 (yv236 : yv237) (or . map ((==) yv234))\n  Eq a",fontsize=16,color="black",shape="box"];1674 -> 1675[label="",style="solid", color="black", weight=3];
1675[label="nubNub'1 yv234 yv235 (yv236 : yv237) (or (map ((==) yv234) (yv236 : yv237)))\n  Eq a",fontsize=16,color="black",shape="box"];1675 -> 1676[label="",style="solid", color="black", weight=3];
1676[label="nubNub'1 yv234 yv235 (yv236 : yv237) (foldr (||) False (map ((==) yv234) (yv236 : yv237)))\n  Eq a",fontsize=16,color="black",shape="box"];1676 -> 1677[label="",style="solid", color="black", weight=3];
1677 -> 2646[label="",style="dashed", color="red", weight=0];
1677[label="nubNub'1 yv234 yv235 (yv236 : yv237) (foldr (||) False (((==) yv234 yv236) : map ((==) yv234) yv237))\n  Eq a",fontsize=16,color="magenta"];1677 -> 2647[label="",style="dashed", color="magenta", weight=3];
1677 -> 2648[label="",style="dashed", color="magenta", weight=3];
1677 -> 2649[label="",style="dashed", color="magenta", weight=3];
1677 -> 2650[label="",style="dashed", color="magenta", weight=3];
1677 -> 2651[label="",style="dashed", color="magenta", weight=3];
1677 -> 2652[label="",style="dashed", color="magenta", weight=3];
2647[label="yv237\n  Eq a",fontsize=16,color="green",shape="box"];2648[label="yv236\n  Eq a",fontsize=16,color="green",shape="box"];2649[label="yv236\n  Eq a",fontsize=16,color="green",shape="box"];2650[label="yv235\n  Eq a",fontsize=16,color="green",shape="box"];2651[label="yv237\n  Eq a",fontsize=16,color="green",shape="box"];2652[label="yv234\n  Eq a",fontsize=16,color="green",shape="box"];2646[label="nubNub'1 yv328 yv329 (yv330 : yv331) (foldr (||) False (((==) yv328 yv332) : map ((==) yv328) yv333))\n  Eq a",fontsize=16,color="black",shape="triangle"];2646 -> 2683[label="",style="solid", color="black", weight=3];
2683 -> 2684[label="",style="dashed", color="red", weight=0];
2683[label="nubNub'1 yv328 yv329 (yv330 : yv331) ((||) (==) yv328 yv332 foldr (||) False (map ((==) yv328) yv333))\n  Eq a",fontsize=16,color="magenta"];2683 -> 2685[label="",style="dashed", color="magenta", weight=3];
2683 -> 2686[label="",style="dashed", color="magenta", weight=3];
2683 -> 2687[label="",style="dashed", color="magenta", weight=3];
2683 -> 2688[label="",style="dashed", color="magenta", weight=3];
2683 -> 2689[label="",style="dashed", color="magenta", weight=3];
2683 -> 2690[label="",style="dashed", color="magenta", weight=3];
2685[label="yv333\n  Eq a",fontsize=16,color="green",shape="box"];2686[label="(==) yv328 yv332\n  Eq a",fontsize=16,color="blue",shape="box"];3387[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3387[label="",style="solid", color="blue", weight=9];
3387 -> 2691[label="",style="solid", color="blue", weight=3];
3388[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3388[label="",style="solid", color="blue", weight=9];
3388 -> 2692[label="",style="solid", color="blue", weight=3];
3389[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3389[label="",style="solid", color="blue", weight=9];
3389 -> 2693[label="",style="solid", color="blue", weight=3];
3390[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3390[label="",style="solid", color="blue", weight=9];
3390 -> 2694[label="",style="solid", color="blue", weight=3];
3391[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3391[label="",style="solid", color="blue", weight=9];
3391 -> 2695[label="",style="solid", color="blue", weight=3];
3392[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3392[label="",style="solid", color="blue", weight=9];
3392 -> 2696[label="",style="solid", color="blue", weight=3];
3393[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3393[label="",style="solid", color="blue", weight=9];
3393 -> 2697[label="",style="solid", color="blue", weight=3];
3394[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3394[label="",style="solid", color="blue", weight=9];
3394 -> 2698[label="",style="solid", color="blue", weight=3];
3395[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3395[label="",style="solid", color="blue", weight=9];
3395 -> 2699[label="",style="solid", color="blue", weight=3];
3396[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3396[label="",style="solid", color="blue", weight=9];
3396 -> 2700[label="",style="solid", color="blue", weight=3];
3397[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3397[label="",style="solid", color="blue", weight=9];
3397 -> 2701[label="",style="solid", color="blue", weight=3];
3398[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3398[label="",style="solid", color="blue", weight=9];
3398 -> 2702[label="",style="solid", color="blue", weight=3];
3399[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3399[label="",style="solid", color="blue", weight=9];
3399 -> 2703[label="",style="solid", color="blue", weight=3];
3400[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2686 -> 3400[label="",style="solid", color="blue", weight=9];
3400 -> 2704[label="",style="solid", color="blue", weight=3];
2687[label="yv329\n  Eq a",fontsize=16,color="green",shape="box"];2688[label="yv328\n  Eq a",fontsize=16,color="green",shape="box"];2689[label="yv331\n  Eq a",fontsize=16,color="green",shape="box"];2690[label="yv330\n  Eq a",fontsize=16,color="green",shape="box"];2684[label="nubNub'1 yv341 yv342 (yv343 : yv344) ((||) yv345 foldr (||) False (map ((==) yv341) yv346))\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];3401[label="yv345/False",fontsize=10,color="white",style="solid",shape="box"];2684 -> 3401[label="",style="solid", color="burlywood", weight=9];
3401 -> 2705[label="",style="solid", color="burlywood", weight=3];
3402[label="yv345/True",fontsize=10,color="white",style="solid",shape="box"];2684 -> 3402[label="",style="solid", color="burlywood", weight=9];
3402 -> 2706[label="",style="solid", color="burlywood", weight=3];
2691[label="(==) yv328 yv332",fontsize=16,color="burlywood",shape="triangle"];3403[label="yv328/()",fontsize=10,color="white",style="solid",shape="box"];2691 -> 3403[label="",style="solid", color="burlywood", weight=9];
3403 -> 2707[label="",style="solid", color="burlywood", weight=3];
2692[label="(==) yv328 yv332\n  Integral a",fontsize=16,color="burlywood",shape="triangle"];3404[label="yv328/yv3280 :% yv3281",fontsize=10,color="white",style="solid",shape="box"];2692 -> 3404[label="",style="solid", color="burlywood", weight=9];
3404 -> 2708[label="",style="solid", color="burlywood", weight=3];
2693[label="(==) yv328 yv332",fontsize=16,color="black",shape="triangle"];2693 -> 2709[label="",style="solid", color="black", weight=3];
2694[label="(==) yv328 yv332",fontsize=16,color="black",shape="triangle"];2694 -> 2710[label="",style="solid", color="black", weight=3];
2695[label="(==) yv328 yv332",fontsize=16,color="black",shape="triangle"];2695 -> 2711[label="",style="solid", color="black", weight=3];
2696[label="(==) yv328 yv332\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];3405[label="yv328/Nothing",fontsize=10,color="white",style="solid",shape="box"];2696 -> 3405[label="",style="solid", color="burlywood", weight=9];
3405 -> 2712[label="",style="solid", color="burlywood", weight=3];
3406[label="yv328/Just yv3280",fontsize=10,color="white",style="solid",shape="box"];2696 -> 3406[label="",style="solid", color="burlywood", weight=9];
3406 -> 2713[label="",style="solid", color="burlywood", weight=3];
2697[label="(==) yv328 yv332",fontsize=16,color="burlywood",shape="triangle"];3407[label="yv328/False",fontsize=10,color="white",style="solid",shape="box"];2697 -> 3407[label="",style="solid", color="burlywood", weight=9];
3407 -> 2714[label="",style="solid", color="burlywood", weight=3];
3408[label="yv328/True",fontsize=10,color="white",style="solid",shape="box"];2697 -> 3408[label="",style="solid", color="burlywood", weight=9];
3408 -> 2715[label="",style="solid", color="burlywood", weight=3];
2698[label="(==) yv328 yv332",fontsize=16,color="burlywood",shape="triangle"];3409[label="yv328/LT",fontsize=10,color="white",style="solid",shape="box"];2698 -> 3409[label="",style="solid", color="burlywood", weight=9];
3409 -> 2716[label="",style="solid", color="burlywood", weight=3];
3410[label="yv328/EQ",fontsize=10,color="white",style="solid",shape="box"];2698 -> 3410[label="",style="solid", color="burlywood", weight=9];
3410 -> 2717[label="",style="solid", color="burlywood", weight=3];
3411[label="yv328/GT",fontsize=10,color="white",style="solid",shape="box"];2698 -> 3411[label="",style="solid", color="burlywood", weight=9];
3411 -> 2718[label="",style="solid", color="burlywood", weight=3];
2699[label="(==) yv328 yv332",fontsize=16,color="burlywood",shape="triangle"];3412[label="yv328/Integer yv3280",fontsize=10,color="white",style="solid",shape="box"];2699 -> 3412[label="",style="solid", color="burlywood", weight=9];
3412 -> 2719[label="",style="solid", color="burlywood", weight=3];
2700[label="(==) yv328 yv332\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];3413[label="yv328/(yv3280,yv3281)",fontsize=10,color="white",style="solid",shape="box"];2700 -> 3413[label="",style="solid", color="burlywood", weight=9];
3413 -> 2720[label="",style="solid", color="burlywood", weight=3];
2701[label="(==) yv328 yv332\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];3414[label="yv328/yv3280 : yv3281",fontsize=10,color="white",style="solid",shape="box"];2701 -> 3414[label="",style="solid", color="burlywood", weight=9];
3414 -> 2721[label="",style="solid", color="burlywood", weight=3];
3415[label="yv328/[]",fontsize=10,color="white",style="solid",shape="box"];2701 -> 3415[label="",style="solid", color="burlywood", weight=9];
3415 -> 2722[label="",style="solid", color="burlywood", weight=3];
2702[label="(==) yv328 yv332\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="triangle"];3416[label="yv328/(yv3280,yv3281,yv3282)",fontsize=10,color="white",style="solid",shape="box"];2702 -> 3416[label="",style="solid", color="burlywood", weight=9];
3416 -> 2723[label="",style="solid", color="burlywood", weight=3];
2703[label="(==) yv328 yv332\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="triangle"];3417[label="yv328/Left yv3280",fontsize=10,color="white",style="solid",shape="box"];2703 -> 3417[label="",style="solid", color="burlywood", weight=9];
3417 -> 2724[label="",style="solid", color="burlywood", weight=3];
3418[label="yv328/Right yv3280",fontsize=10,color="white",style="solid",shape="box"];2703 -> 3418[label="",style="solid", color="burlywood", weight=9];
3418 -> 2725[label="",style="solid", color="burlywood", weight=3];
2704[label="(==) yv328 yv332",fontsize=16,color="black",shape="triangle"];2704 -> 2726[label="",style="solid", color="black", weight=3];
2705[label="nubNub'1 yv341 yv342 (yv343 : yv344) ((||) False foldr (||) False (map ((==) yv341) yv346))\n  Eq a",fontsize=16,color="black",shape="box"];2705 -> 2727[label="",style="solid", color="black", weight=3];
2706[label="nubNub'1 yv341 yv342 (yv343 : yv344) ((||) True foldr (||) False (map ((==) yv341) yv346))\n  Eq a",fontsize=16,color="black",shape="box"];2706 -> 2728[label="",style="solid", color="black", weight=3];
2707[label="(==) () yv332",fontsize=16,color="burlywood",shape="box"];3419[label="yv332/()",fontsize=10,color="white",style="solid",shape="box"];2707 -> 3419[label="",style="solid", color="burlywood", weight=9];
3419 -> 2729[label="",style="solid", color="burlywood", weight=3];
2708[label="(==) yv3280 :% yv3281 yv332\n  Integral a",fontsize=16,color="burlywood",shape="box"];3420[label="yv332/yv3320 :% yv3321",fontsize=10,color="white",style="solid",shape="box"];2708 -> 3420[label="",style="solid", color="burlywood", weight=9];
3420 -> 2730[label="",style="solid", color="burlywood", weight=3];
2709[label="primEqFloat yv328 yv332",fontsize=16,color="burlywood",shape="box"];3421[label="yv328/Float yv3280 yv3281",fontsize=10,color="white",style="solid",shape="box"];2709 -> 3421[label="",style="solid", color="burlywood", weight=9];
3421 -> 2731[label="",style="solid", color="burlywood", weight=3];
2710[label="primEqChar yv328 yv332",fontsize=16,color="burlywood",shape="box"];3422[label="yv328/Char yv3280",fontsize=10,color="white",style="solid",shape="box"];2710 -> 3422[label="",style="solid", color="burlywood", weight=9];
3422 -> 2732[label="",style="solid", color="burlywood", weight=3];
2711[label="primEqDouble yv328 yv332",fontsize=16,color="burlywood",shape="box"];3423[label="yv328/Double yv3280 yv3281",fontsize=10,color="white",style="solid",shape="box"];2711 -> 3423[label="",style="solid", color="burlywood", weight=9];
3423 -> 2733[label="",style="solid", color="burlywood", weight=3];
2712[label="(==) Nothing yv332\n  Eq a",fontsize=16,color="burlywood",shape="box"];3424[label="yv332/Nothing",fontsize=10,color="white",style="solid",shape="box"];2712 -> 3424[label="",style="solid", color="burlywood", weight=9];
3424 -> 2734[label="",style="solid", color="burlywood", weight=3];
3425[label="yv332/Just yv3320",fontsize=10,color="white",style="solid",shape="box"];2712 -> 3425[label="",style="solid", color="burlywood", weight=9];
3425 -> 2735[label="",style="solid", color="burlywood", weight=3];
2713[label="(==) Just yv3280 yv332\n  Eq a",fontsize=16,color="burlywood",shape="box"];3426[label="yv332/Nothing",fontsize=10,color="white",style="solid",shape="box"];2713 -> 3426[label="",style="solid", color="burlywood", weight=9];
3426 -> 2736[label="",style="solid", color="burlywood", weight=3];
3427[label="yv332/Just yv3320",fontsize=10,color="white",style="solid",shape="box"];2713 -> 3427[label="",style="solid", color="burlywood", weight=9];
3427 -> 2737[label="",style="solid", color="burlywood", weight=3];
2714[label="(==) False yv332",fontsize=16,color="burlywood",shape="box"];3428[label="yv332/False",fontsize=10,color="white",style="solid",shape="box"];2714 -> 3428[label="",style="solid", color="burlywood", weight=9];
3428 -> 2738[label="",style="solid", color="burlywood", weight=3];
3429[label="yv332/True",fontsize=10,color="white",style="solid",shape="box"];2714 -> 3429[label="",style="solid", color="burlywood", weight=9];
3429 -> 2739[label="",style="solid", color="burlywood", weight=3];
2715[label="(==) True yv332",fontsize=16,color="burlywood",shape="box"];3430[label="yv332/False",fontsize=10,color="white",style="solid",shape="box"];2715 -> 3430[label="",style="solid", color="burlywood", weight=9];
3430 -> 2740[label="",style="solid", color="burlywood", weight=3];
3431[label="yv332/True",fontsize=10,color="white",style="solid",shape="box"];2715 -> 3431[label="",style="solid", color="burlywood", weight=9];
3431 -> 2741[label="",style="solid", color="burlywood", weight=3];
2716[label="(==) LT yv332",fontsize=16,color="burlywood",shape="box"];3432[label="yv332/LT",fontsize=10,color="white",style="solid",shape="box"];2716 -> 3432[label="",style="solid", color="burlywood", weight=9];
3432 -> 2742[label="",style="solid", color="burlywood", weight=3];
3433[label="yv332/EQ",fontsize=10,color="white",style="solid",shape="box"];2716 -> 3433[label="",style="solid", color="burlywood", weight=9];
3433 -> 2743[label="",style="solid", color="burlywood", weight=3];
3434[label="yv332/GT",fontsize=10,color="white",style="solid",shape="box"];2716 -> 3434[label="",style="solid", color="burlywood", weight=9];
3434 -> 2744[label="",style="solid", color="burlywood", weight=3];
2717[label="(==) EQ yv332",fontsize=16,color="burlywood",shape="box"];3435[label="yv332/LT",fontsize=10,color="white",style="solid",shape="box"];2717 -> 3435[label="",style="solid", color="burlywood", weight=9];
3435 -> 2745[label="",style="solid", color="burlywood", weight=3];
3436[label="yv332/EQ",fontsize=10,color="white",style="solid",shape="box"];2717 -> 3436[label="",style="solid", color="burlywood", weight=9];
3436 -> 2746[label="",style="solid", color="burlywood", weight=3];
3437[label="yv332/GT",fontsize=10,color="white",style="solid",shape="box"];2717 -> 3437[label="",style="solid", color="burlywood", weight=9];
3437 -> 2747[label="",style="solid", color="burlywood", weight=3];
2718[label="(==) GT yv332",fontsize=16,color="burlywood",shape="box"];3438[label="yv332/LT",fontsize=10,color="white",style="solid",shape="box"];2718 -> 3438[label="",style="solid", color="burlywood", weight=9];
3438 -> 2748[label="",style="solid", color="burlywood", weight=3];
3439[label="yv332/EQ",fontsize=10,color="white",style="solid",shape="box"];2718 -> 3439[label="",style="solid", color="burlywood", weight=9];
3439 -> 2749[label="",style="solid", color="burlywood", weight=3];
3440[label="yv332/GT",fontsize=10,color="white",style="solid",shape="box"];2718 -> 3440[label="",style="solid", color="burlywood", weight=9];
3440 -> 2750[label="",style="solid", color="burlywood", weight=3];
2719[label="(==) Integer yv3280 yv332",fontsize=16,color="burlywood",shape="box"];3441[label="yv332/Integer yv3320",fontsize=10,color="white",style="solid",shape="box"];2719 -> 3441[label="",style="solid", color="burlywood", weight=9];
3441 -> 2751[label="",style="solid", color="burlywood", weight=3];
2720[label="(==) (yv3280,yv3281) yv332\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];3442[label="yv332/(yv3320,yv3321)",fontsize=10,color="white",style="solid",shape="box"];2720 -> 3442[label="",style="solid", color="burlywood", weight=9];
3442 -> 2752[label="",style="solid", color="burlywood", weight=3];
2721[label="(==) yv3280 : yv3281 yv332\n  Eq a",fontsize=16,color="burlywood",shape="box"];3443[label="yv332/yv3320 : yv3321",fontsize=10,color="white",style="solid",shape="box"];2721 -> 3443[label="",style="solid", color="burlywood", weight=9];
3443 -> 2753[label="",style="solid", color="burlywood", weight=3];
3444[label="yv332/[]",fontsize=10,color="white",style="solid",shape="box"];2721 -> 3444[label="",style="solid", color="burlywood", weight=9];
3444 -> 2754[label="",style="solid", color="burlywood", weight=3];
2722[label="(==) [] yv332\n  Eq a",fontsize=16,color="burlywood",shape="box"];3445[label="yv332/yv3320 : yv3321",fontsize=10,color="white",style="solid",shape="box"];2722 -> 3445[label="",style="solid", color="burlywood", weight=9];
3445 -> 2755[label="",style="solid", color="burlywood", weight=3];
3446[label="yv332/[]",fontsize=10,color="white",style="solid",shape="box"];2722 -> 3446[label="",style="solid", color="burlywood", weight=9];
3446 -> 2756[label="",style="solid", color="burlywood", weight=3];
2723[label="(==) (yv3280,yv3281,yv3282) yv332\n  Eq a  Eq b  Eq c",fontsize=16,color="burlywood",shape="box"];3447[label="yv332/(yv3320,yv3321,yv3322)",fontsize=10,color="white",style="solid",shape="box"];2723 -> 3447[label="",style="solid", color="burlywood", weight=9];
3447 -> 2757[label="",style="solid", color="burlywood", weight=3];
2724[label="(==) Left yv3280 yv332\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];3448[label="yv332/Left yv3320",fontsize=10,color="white",style="solid",shape="box"];2724 -> 3448[label="",style="solid", color="burlywood", weight=9];
3448 -> 2758[label="",style="solid", color="burlywood", weight=3];
3449[label="yv332/Right yv3320",fontsize=10,color="white",style="solid",shape="box"];2724 -> 3449[label="",style="solid", color="burlywood", weight=9];
3449 -> 2759[label="",style="solid", color="burlywood", weight=3];
2725[label="(==) Right yv3280 yv332\n  Eq a  Eq b",fontsize=16,color="burlywood",shape="box"];3450[label="yv332/Left yv3320",fontsize=10,color="white",style="solid",shape="box"];2725 -> 3450[label="",style="solid", color="burlywood", weight=9];
3450 -> 2760[label="",style="solid", color="burlywood", weight=3];
3451[label="yv332/Right yv3320",fontsize=10,color="white",style="solid",shape="box"];2725 -> 3451[label="",style="solid", color="burlywood", weight=9];
3451 -> 2761[label="",style="solid", color="burlywood", weight=3];
2726[label="primEqInt yv328 yv332",fontsize=16,color="burlywood",shape="triangle"];3452[label="yv328/Pos yv3280",fontsize=10,color="white",style="solid",shape="box"];2726 -> 3452[label="",style="solid", color="burlywood", weight=9];
3452 -> 2762[label="",style="solid", color="burlywood", weight=3];
3453[label="yv328/Neg yv3280",fontsize=10,color="white",style="solid",shape="box"];2726 -> 3453[label="",style="solid", color="burlywood", weight=9];
3453 -> 2763[label="",style="solid", color="burlywood", weight=3];
2727[label="nubNub'1 yv341 yv342 (yv343 : yv344) (foldr (||) False (map ((==) yv341) yv346))\n  Eq a",fontsize=16,color="burlywood",shape="box"];3454[label="yv346/yv3460 : yv3461",fontsize=10,color="white",style="solid",shape="box"];2727 -> 3454[label="",style="solid", color="burlywood", weight=9];
3454 -> 2764[label="",style="solid", color="burlywood", weight=3];
3455[label="yv346/[]",fontsize=10,color="white",style="solid",shape="box"];2727 -> 3455[label="",style="solid", color="burlywood", weight=9];
3455 -> 2765[label="",style="solid", color="burlywood", weight=3];
2728[label="nubNub'1 yv341 yv342 (yv343 : yv344) True\n  Eq a",fontsize=16,color="black",shape="box"];2728 -> 2766[label="",style="solid", color="black", weight=3];
2729[label="(==) () ()",fontsize=16,color="black",shape="box"];2729 -> 2767[label="",style="solid", color="black", weight=3];
2730[label="(==) yv3280 :% yv3281 yv3320 :% yv3321\n  Integral a",fontsize=16,color="black",shape="box"];2730 -> 2768[label="",style="solid", color="black", weight=3];
2731[label="primEqFloat (Float yv3280 yv3281) yv332",fontsize=16,color="burlywood",shape="box"];3456[label="yv332/Float yv3320 yv3321",fontsize=10,color="white",style="solid",shape="box"];2731 -> 3456[label="",style="solid", color="burlywood", weight=9];
3456 -> 2769[label="",style="solid", color="burlywood", weight=3];
2732[label="primEqChar (Char yv3280) yv332",fontsize=16,color="burlywood",shape="box"];3457[label="yv332/Char yv3320",fontsize=10,color="white",style="solid",shape="box"];2732 -> 3457[label="",style="solid", color="burlywood", weight=9];
3457 -> 2770[label="",style="solid", color="burlywood", weight=3];
2733[label="primEqDouble (Double yv3280 yv3281) yv332",fontsize=16,color="burlywood",shape="box"];3458[label="yv332/Double yv3320 yv3321",fontsize=10,color="white",style="solid",shape="box"];2733 -> 3458[label="",style="solid", color="burlywood", weight=9];
3458 -> 2771[label="",style="solid", color="burlywood", weight=3];
2734[label="(==) Nothing Nothing\n  Eq a",fontsize=16,color="black",shape="box"];2734 -> 2772[label="",style="solid", color="black", weight=3];
2735[label="(==) Nothing Just yv3320\n  Eq a",fontsize=16,color="black",shape="box"];2735 -> 2773[label="",style="solid", color="black", weight=3];
2736[label="(==) Just yv3280 Nothing\n  Eq a",fontsize=16,color="black",shape="box"];2736 -> 2774[label="",style="solid", color="black", weight=3];
2737[label="(==) Just yv3280 Just yv3320\n  Eq a",fontsize=16,color="black",shape="box"];2737 -> 2775[label="",style="solid", color="black", weight=3];
2738[label="(==) False False",fontsize=16,color="black",shape="box"];2738 -> 2776[label="",style="solid", color="black", weight=3];
2739[label="(==) False True",fontsize=16,color="black",shape="box"];2739 -> 2777[label="",style="solid", color="black", weight=3];
2740[label="(==) True False",fontsize=16,color="black",shape="box"];2740 -> 2778[label="",style="solid", color="black", weight=3];
2741[label="(==) True True",fontsize=16,color="black",shape="box"];2741 -> 2779[label="",style="solid", color="black", weight=3];
2742[label="(==) LT LT",fontsize=16,color="black",shape="box"];2742 -> 2780[label="",style="solid", color="black", weight=3];
2743[label="(==) LT EQ",fontsize=16,color="black",shape="box"];2743 -> 2781[label="",style="solid", color="black", weight=3];
2744[label="(==) LT GT",fontsize=16,color="black",shape="box"];2744 -> 2782[label="",style="solid", color="black", weight=3];
2745[label="(==) EQ LT",fontsize=16,color="black",shape="box"];2745 -> 2783[label="",style="solid", color="black", weight=3];
2746[label="(==) EQ EQ",fontsize=16,color="black",shape="box"];2746 -> 2784[label="",style="solid", color="black", weight=3];
2747[label="(==) EQ GT",fontsize=16,color="black",shape="box"];2747 -> 2785[label="",style="solid", color="black", weight=3];
2748[label="(==) GT LT",fontsize=16,color="black",shape="box"];2748 -> 2786[label="",style="solid", color="black", weight=3];
2749[label="(==) GT EQ",fontsize=16,color="black",shape="box"];2749 -> 2787[label="",style="solid", color="black", weight=3];
2750[label="(==) GT GT",fontsize=16,color="black",shape="box"];2750 -> 2788[label="",style="solid", color="black", weight=3];
2751[label="(==) Integer yv3280 Integer yv3320",fontsize=16,color="black",shape="box"];2751 -> 2789[label="",style="solid", color="black", weight=3];
2752[label="(==) (yv3280,yv3281) (yv3320,yv3321)\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];2752 -> 2790[label="",style="solid", color="black", weight=3];
2753[label="(==) yv3280 : yv3281 yv3320 : yv3321\n  Eq a",fontsize=16,color="black",shape="box"];2753 -> 2791[label="",style="solid", color="black", weight=3];
2754[label="(==) yv3280 : yv3281 []\n  Eq a",fontsize=16,color="black",shape="box"];2754 -> 2792[label="",style="solid", color="black", weight=3];
2755[label="(==) [] yv3320 : yv3321\n  Eq a",fontsize=16,color="black",shape="box"];2755 -> 2793[label="",style="solid", color="black", weight=3];
2756[label="(==) [] []\n  Eq a",fontsize=16,color="black",shape="box"];2756 -> 2794[label="",style="solid", color="black", weight=3];
2757[label="(==) (yv3280,yv3281,yv3282) (yv3320,yv3321,yv3322)\n  Eq a  Eq b  Eq c",fontsize=16,color="black",shape="box"];2757 -> 2795[label="",style="solid", color="black", weight=3];
2758[label="(==) Left yv3280 Left yv3320\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];2758 -> 2796[label="",style="solid", color="black", weight=3];
2759[label="(==) Left yv3280 Right yv3320\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];2759 -> 2797[label="",style="solid", color="black", weight=3];
2760[label="(==) Right yv3280 Left yv3320\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];2760 -> 2798[label="",style="solid", color="black", weight=3];
2761[label="(==) Right yv3280 Right yv3320\n  Eq a  Eq b",fontsize=16,color="black",shape="box"];2761 -> 2799[label="",style="solid", color="black", weight=3];
2762[label="primEqInt (Pos yv3280) yv332",fontsize=16,color="burlywood",shape="box"];3459[label="yv3280/Succ yv32800",fontsize=10,color="white",style="solid",shape="box"];2762 -> 3459[label="",style="solid", color="burlywood", weight=9];
3459 -> 2800[label="",style="solid", color="burlywood", weight=3];
3460[label="yv3280/Zero",fontsize=10,color="white",style="solid",shape="box"];2762 -> 3460[label="",style="solid", color="burlywood", weight=9];
3460 -> 2801[label="",style="solid", color="burlywood", weight=3];
2763[label="primEqInt (Neg yv3280) yv332",fontsize=16,color="burlywood",shape="box"];3461[label="yv3280/Succ yv32800",fontsize=10,color="white",style="solid",shape="box"];2763 -> 3461[label="",style="solid", color="burlywood", weight=9];
3461 -> 2802[label="",style="solid", color="burlywood", weight=3];
3462[label="yv3280/Zero",fontsize=10,color="white",style="solid",shape="box"];2763 -> 3462[label="",style="solid", color="burlywood", weight=9];
3462 -> 2803[label="",style="solid", color="burlywood", weight=3];
2764[label="nubNub'1 yv341 yv342 (yv343 : yv344) (foldr (||) False (map ((==) yv341) (yv3460 : yv3461)))\n  Eq a",fontsize=16,color="black",shape="box"];2764 -> 2804[label="",style="solid", color="black", weight=3];
2765[label="nubNub'1 yv341 yv342 (yv343 : yv344) (foldr (||) False (map ((==) yv341) []))\n  Eq a",fontsize=16,color="black",shape="box"];2765 -> 2805[label="",style="solid", color="black", weight=3];
2766[label="nubNub' yv342 (yv343 : yv344)\n  Eq a",fontsize=16,color="burlywood",shape="triangle"];3463[label="yv342/yv3420 : yv3421",fontsize=10,color="white",style="solid",shape="box"];2766 -> 3463[label="",style="solid", color="burlywood", weight=9];
3463 -> 2806[label="",style="solid", color="burlywood", weight=3];
3464[label="yv342/[]",fontsize=10,color="white",style="solid",shape="box"];2766 -> 3464[label="",style="solid", color="burlywood", weight=9];
3464 -> 2807[label="",style="solid", color="burlywood", weight=3];
2767[label="True",fontsize=16,color="green",shape="box"];2768 -> 2895[label="",style="dashed", color="red", weight=0];
2768[label="yv3280 == yv3320 && yv3281 == yv3321\n  Integral a",fontsize=16,color="magenta"];2768 -> 2896[label="",style="dashed", color="magenta", weight=3];
2768 -> 2897[label="",style="dashed", color="magenta", weight=3];
2769[label="primEqFloat (Float yv3280 yv3281) (Float yv3320 yv3321)",fontsize=16,color="black",shape="box"];2769 -> 2818[label="",style="solid", color="black", weight=3];
2770[label="primEqChar (Char yv3280) (Char yv3320)",fontsize=16,color="black",shape="box"];2770 -> 2819[label="",style="solid", color="black", weight=3];
2771[label="primEqDouble (Double yv3280 yv3281) (Double yv3320 yv3321)",fontsize=16,color="black",shape="box"];2771 -> 2820[label="",style="solid", color="black", weight=3];
2772[label="True",fontsize=16,color="green",shape="box"];2773[label="False",fontsize=16,color="green",shape="box"];2774[label="False",fontsize=16,color="green",shape="box"];2775[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3466[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3466[label="",style="solid", color="blue", weight=9];
3466 -> 2821[label="",style="solid", color="blue", weight=3];
3467[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3467[label="",style="solid", color="blue", weight=9];
3467 -> 2822[label="",style="solid", color="blue", weight=3];
3468[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3468[label="",style="solid", color="blue", weight=9];
3468 -> 2823[label="",style="solid", color="blue", weight=3];
3469[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3469[label="",style="solid", color="blue", weight=9];
3469 -> 2824[label="",style="solid", color="blue", weight=3];
3470[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3470[label="",style="solid", color="blue", weight=9];
3470 -> 2825[label="",style="solid", color="blue", weight=3];
3471[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3471[label="",style="solid", color="blue", weight=9];
3471 -> 2826[label="",style="solid", color="blue", weight=3];
3472[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3472[label="",style="solid", color="blue", weight=9];
3472 -> 2827[label="",style="solid", color="blue", weight=3];
3473[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3473[label="",style="solid", color="blue", weight=9];
3473 -> 2828[label="",style="solid", color="blue", weight=3];
3474[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3474[label="",style="solid", color="blue", weight=9];
3474 -> 2829[label="",style="solid", color="blue", weight=3];
3475[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3475[label="",style="solid", color="blue", weight=9];
3475 -> 2830[label="",style="solid", color="blue", weight=3];
3476[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3476[label="",style="solid", color="blue", weight=9];
3476 -> 2831[label="",style="solid", color="blue", weight=3];
3477[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3477[label="",style="solid", color="blue", weight=9];
3477 -> 2832[label="",style="solid", color="blue", weight=3];
3478[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3478[label="",style="solid", color="blue", weight=9];
3478 -> 2833[label="",style="solid", color="blue", weight=3];
3479[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2775 -> 3479[label="",style="solid", color="blue", weight=9];
3479 -> 2834[label="",style="solid", color="blue", weight=3];
2776[label="True",fontsize=16,color="green",shape="box"];2777[label="False",fontsize=16,color="green",shape="box"];2778[label="False",fontsize=16,color="green",shape="box"];2779[label="True",fontsize=16,color="green",shape="box"];2780[label="True",fontsize=16,color="green",shape="box"];2781[label="False",fontsize=16,color="green",shape="box"];2782[label="False",fontsize=16,color="green",shape="box"];2783[label="False",fontsize=16,color="green",shape="box"];2784[label="True",fontsize=16,color="green",shape="box"];2785[label="False",fontsize=16,color="green",shape="box"];2786[label="False",fontsize=16,color="green",shape="box"];2787[label="False",fontsize=16,color="green",shape="box"];2788[label="True",fontsize=16,color="green",shape="box"];2789 -> 2726[label="",style="dashed", color="red", weight=0];
2789[label="primEqInt yv3280 yv3320",fontsize=16,color="magenta"];2789 -> 2835[label="",style="dashed", color="magenta", weight=3];
2789 -> 2836[label="",style="dashed", color="magenta", weight=3];
2790 -> 2895[label="",style="dashed", color="red", weight=0];
2790[label="yv3280 == yv3320 && yv3281 == yv3321\n  Eq a  Eq b",fontsize=16,color="magenta"];2790 -> 2898[label="",style="dashed", color="magenta", weight=3];
2790 -> 2899[label="",style="dashed", color="magenta", weight=3];
2791 -> 2895[label="",style="dashed", color="red", weight=0];
2791[label="yv3280 == yv3320 && yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];2791 -> 2900[label="",style="dashed", color="magenta", weight=3];
2791 -> 2901[label="",style="dashed", color="magenta", weight=3];
2792[label="False",fontsize=16,color="green",shape="box"];2793[label="False",fontsize=16,color="green",shape="box"];2794[label="True",fontsize=16,color="green",shape="box"];2795 -> 2895[label="",style="dashed", color="red", weight=0];
2795[label="yv3280 == yv3320 && yv3281 == yv3321 && yv3282 == yv3322\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2795 -> 2902[label="",style="dashed", color="magenta", weight=3];
2795 -> 2903[label="",style="dashed", color="magenta", weight=3];
2796[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3484[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3484[label="",style="solid", color="blue", weight=9];
3484 -> 2848[label="",style="solid", color="blue", weight=3];
3485[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3485[label="",style="solid", color="blue", weight=9];
3485 -> 2849[label="",style="solid", color="blue", weight=3];
3486[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3486[label="",style="solid", color="blue", weight=9];
3486 -> 2850[label="",style="solid", color="blue", weight=3];
3487[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3487[label="",style="solid", color="blue", weight=9];
3487 -> 2851[label="",style="solid", color="blue", weight=3];
3488[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3488[label="",style="solid", color="blue", weight=9];
3488 -> 2852[label="",style="solid", color="blue", weight=3];
3489[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3489[label="",style="solid", color="blue", weight=9];
3489 -> 2853[label="",style="solid", color="blue", weight=3];
3490[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3490[label="",style="solid", color="blue", weight=9];
3490 -> 2854[label="",style="solid", color="blue", weight=3];
3491[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3491[label="",style="solid", color="blue", weight=9];
3491 -> 2855[label="",style="solid", color="blue", weight=3];
3492[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3492[label="",style="solid", color="blue", weight=9];
3492 -> 2856[label="",style="solid", color="blue", weight=3];
3493[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3493[label="",style="solid", color="blue", weight=9];
3493 -> 2857[label="",style="solid", color="blue", weight=3];
3494[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3494[label="",style="solid", color="blue", weight=9];
3494 -> 2858[label="",style="solid", color="blue", weight=3];
3495[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3495[label="",style="solid", color="blue", weight=9];
3495 -> 2859[label="",style="solid", color="blue", weight=3];
3496[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3496[label="",style="solid", color="blue", weight=9];
3496 -> 2860[label="",style="solid", color="blue", weight=3];
3497[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2796 -> 3497[label="",style="solid", color="blue", weight=9];
3497 -> 2861[label="",style="solid", color="blue", weight=3];
2797[label="False",fontsize=16,color="green",shape="box"];2798[label="False",fontsize=16,color="green",shape="box"];2799[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3498[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3498[label="",style="solid", color="blue", weight=9];
3498 -> 2862[label="",style="solid", color="blue", weight=3];
3499[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3499[label="",style="solid", color="blue", weight=9];
3499 -> 2863[label="",style="solid", color="blue", weight=3];
3500[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3500[label="",style="solid", color="blue", weight=9];
3500 -> 2864[label="",style="solid", color="blue", weight=3];
3501[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3501[label="",style="solid", color="blue", weight=9];
3501 -> 2865[label="",style="solid", color="blue", weight=3];
3502[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3502[label="",style="solid", color="blue", weight=9];
3502 -> 2866[label="",style="solid", color="blue", weight=3];
3503[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3503[label="",style="solid", color="blue", weight=9];
3503 -> 2867[label="",style="solid", color="blue", weight=3];
3504[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3504[label="",style="solid", color="blue", weight=9];
3504 -> 2868[label="",style="solid", color="blue", weight=3];
3505[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3505[label="",style="solid", color="blue", weight=9];
3505 -> 2869[label="",style="solid", color="blue", weight=3];
3506[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3506[label="",style="solid", color="blue", weight=9];
3506 -> 2870[label="",style="solid", color="blue", weight=3];
3507[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3507[label="",style="solid", color="blue", weight=9];
3507 -> 2871[label="",style="solid", color="blue", weight=3];
3508[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3508[label="",style="solid", color="blue", weight=9];
3508 -> 2872[label="",style="solid", color="blue", weight=3];
3509[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3509[label="",style="solid", color="blue", weight=9];
3509 -> 2873[label="",style="solid", color="blue", weight=3];
3510[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3510[label="",style="solid", color="blue", weight=9];
3510 -> 2874[label="",style="solid", color="blue", weight=3];
3511[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2799 -> 3511[label="",style="solid", color="blue", weight=9];
3511 -> 2875[label="",style="solid", color="blue", weight=3];
2800[label="primEqInt (Pos (Succ yv32800)) yv332",fontsize=16,color="burlywood",shape="box"];3512[label="yv332/Pos yv3320",fontsize=10,color="white",style="solid",shape="box"];2800 -> 3512[label="",style="solid", color="burlywood", weight=9];
3512 -> 2876[label="",style="solid", color="burlywood", weight=3];
3513[label="yv332/Neg yv3320",fontsize=10,color="white",style="solid",shape="box"];2800 -> 3513[label="",style="solid", color="burlywood", weight=9];
3513 -> 2877[label="",style="solid", color="burlywood", weight=3];
2801[label="primEqInt (Pos Zero) yv332",fontsize=16,color="burlywood",shape="box"];3514[label="yv332/Pos yv3320",fontsize=10,color="white",style="solid",shape="box"];2801 -> 3514[label="",style="solid", color="burlywood", weight=9];
3514 -> 2878[label="",style="solid", color="burlywood", weight=3];
3515[label="yv332/Neg yv3320",fontsize=10,color="white",style="solid",shape="box"];2801 -> 3515[label="",style="solid", color="burlywood", weight=9];
3515 -> 2879[label="",style="solid", color="burlywood", weight=3];
2802[label="primEqInt (Neg (Succ yv32800)) yv332",fontsize=16,color="burlywood",shape="box"];3516[label="yv332/Pos yv3320",fontsize=10,color="white",style="solid",shape="box"];2802 -> 3516[label="",style="solid", color="burlywood", weight=9];
3516 -> 2880[label="",style="solid", color="burlywood", weight=3];
3517[label="yv332/Neg yv3320",fontsize=10,color="white",style="solid",shape="box"];2802 -> 3517[label="",style="solid", color="burlywood", weight=9];
3517 -> 2881[label="",style="solid", color="burlywood", weight=3];
2803[label="primEqInt (Neg Zero) yv332",fontsize=16,color="burlywood",shape="box"];3518[label="yv332/Pos yv3320",fontsize=10,color="white",style="solid",shape="box"];2803 -> 3518[label="",style="solid", color="burlywood", weight=9];
3518 -> 2882[label="",style="solid", color="burlywood", weight=3];
3519[label="yv332/Neg yv3320",fontsize=10,color="white",style="solid",shape="box"];2803 -> 3519[label="",style="solid", color="burlywood", weight=9];
3519 -> 2883[label="",style="solid", color="burlywood", weight=3];
2804 -> 2646[label="",style="dashed", color="red", weight=0];
2804[label="nubNub'1 yv341 yv342 (yv343 : yv344) (foldr (||) False (((==) yv341 yv3460) : map ((==) yv341) yv3461))\n  Eq a",fontsize=16,color="magenta"];2804 -> 2884[label="",style="dashed", color="magenta", weight=3];
2804 -> 2885[label="",style="dashed", color="magenta", weight=3];
2804 -> 2886[label="",style="dashed", color="magenta", weight=3];
2804 -> 2887[label="",style="dashed", color="magenta", weight=3];
2804 -> 2888[label="",style="dashed", color="magenta", weight=3];
2804 -> 2889[label="",style="dashed", color="magenta", weight=3];
2805[label="nubNub'1 yv341 yv342 (yv343 : yv344) (foldr (||) False [])\n  Eq a",fontsize=16,color="black",shape="box"];2805 -> 2890[label="",style="solid", color="black", weight=3];
2806[label="nubNub' (yv3420 : yv3421) (yv343 : yv344)\n  Eq a",fontsize=16,color="black",shape="box"];2806 -> 2891[label="",style="solid", color="black", weight=3];
2807[label="nubNub' [] (yv343 : yv344)\n  Eq a",fontsize=16,color="black",shape="box"];2807 -> 2892[label="",style="solid", color="black", weight=3];
2896[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="blue",shape="box"];3521[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2896 -> 3521[label="",style="solid", color="blue", weight=9];
3521 -> 2908[label="",style="solid", color="blue", weight=3];
3522[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2896 -> 3522[label="",style="solid", color="blue", weight=9];
3522 -> 2909[label="",style="solid", color="blue", weight=3];
2897[label="yv3281 == yv3321\n  Integral a",fontsize=16,color="blue",shape="box"];3523[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2897 -> 3523[label="",style="solid", color="blue", weight=9];
3523 -> 2910[label="",style="solid", color="blue", weight=3];
3524[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2897 -> 3524[label="",style="solid", color="blue", weight=9];
3524 -> 2911[label="",style="solid", color="blue", weight=3];
2895[label="yv358 && yv359",fontsize=16,color="burlywood",shape="triangle"];3525[label="yv358/False",fontsize=10,color="white",style="solid",shape="box"];2895 -> 3525[label="",style="solid", color="burlywood", weight=9];
3525 -> 2912[label="",style="solid", color="burlywood", weight=3];
3526[label="yv358/True",fontsize=10,color="white",style="solid",shape="box"];2895 -> 3526[label="",style="solid", color="burlywood", weight=9];
3526 -> 2913[label="",style="solid", color="burlywood", weight=3];
2818 -> 2704[label="",style="dashed", color="red", weight=0];
2818[label="yv3280 * yv3320 == yv3281 * yv3321",fontsize=16,color="magenta"];2818 -> 2914[label="",style="dashed", color="magenta", weight=3];
2818 -> 2915[label="",style="dashed", color="magenta", weight=3];
2819[label="primEqNat yv3280 yv3320",fontsize=16,color="burlywood",shape="triangle"];3528[label="yv3280/Succ yv32800",fontsize=10,color="white",style="solid",shape="box"];2819 -> 3528[label="",style="solid", color="burlywood", weight=9];
3528 -> 2916[label="",style="solid", color="burlywood", weight=3];
3529[label="yv3280/Zero",fontsize=10,color="white",style="solid",shape="box"];2819 -> 3529[label="",style="solid", color="burlywood", weight=9];
3529 -> 2917[label="",style="solid", color="burlywood", weight=3];
2820 -> 2704[label="",style="dashed", color="red", weight=0];
2820[label="yv3280 * yv3320 == yv3281 * yv3321",fontsize=16,color="magenta"];2820 -> 2918[label="",style="dashed", color="magenta", weight=3];
2820 -> 2919[label="",style="dashed", color="magenta", weight=3];
2821 -> 2691[label="",style="dashed", color="red", weight=0];
2821[label="yv3280 == yv3320",fontsize=16,color="magenta"];2821 -> 2920[label="",style="dashed", color="magenta", weight=3];
2821 -> 2921[label="",style="dashed", color="magenta", weight=3];
2822 -> 2692[label="",style="dashed", color="red", weight=0];
2822[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2822 -> 2922[label="",style="dashed", color="magenta", weight=3];
2822 -> 2923[label="",style="dashed", color="magenta", weight=3];
2823 -> 2693[label="",style="dashed", color="red", weight=0];
2823[label="yv3280 == yv3320",fontsize=16,color="magenta"];2823 -> 2924[label="",style="dashed", color="magenta", weight=3];
2823 -> 2925[label="",style="dashed", color="magenta", weight=3];
2824 -> 2694[label="",style="dashed", color="red", weight=0];
2824[label="yv3280 == yv3320",fontsize=16,color="magenta"];2824 -> 2926[label="",style="dashed", color="magenta", weight=3];
2824 -> 2927[label="",style="dashed", color="magenta", weight=3];
2825 -> 2695[label="",style="dashed", color="red", weight=0];
2825[label="yv3280 == yv3320",fontsize=16,color="magenta"];2825 -> 2928[label="",style="dashed", color="magenta", weight=3];
2825 -> 2929[label="",style="dashed", color="magenta", weight=3];
2826 -> 2696[label="",style="dashed", color="red", weight=0];
2826[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2826 -> 2930[label="",style="dashed", color="magenta", weight=3];
2826 -> 2931[label="",style="dashed", color="magenta", weight=3];
2827 -> 2697[label="",style="dashed", color="red", weight=0];
2827[label="yv3280 == yv3320",fontsize=16,color="magenta"];2827 -> 2932[label="",style="dashed", color="magenta", weight=3];
2827 -> 2933[label="",style="dashed", color="magenta", weight=3];
2828 -> 2698[label="",style="dashed", color="red", weight=0];
2828[label="yv3280 == yv3320",fontsize=16,color="magenta"];2828 -> 2934[label="",style="dashed", color="magenta", weight=3];
2828 -> 2935[label="",style="dashed", color="magenta", weight=3];
2829 -> 2699[label="",style="dashed", color="red", weight=0];
2829[label="yv3280 == yv3320",fontsize=16,color="magenta"];2829 -> 2936[label="",style="dashed", color="magenta", weight=3];
2829 -> 2937[label="",style="dashed", color="magenta", weight=3];
2830 -> 2700[label="",style="dashed", color="red", weight=0];
2830[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2830 -> 2938[label="",style="dashed", color="magenta", weight=3];
2830 -> 2939[label="",style="dashed", color="magenta", weight=3];
2831 -> 2701[label="",style="dashed", color="red", weight=0];
2831[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2831 -> 2940[label="",style="dashed", color="magenta", weight=3];
2831 -> 2941[label="",style="dashed", color="magenta", weight=3];
2832 -> 2702[label="",style="dashed", color="red", weight=0];
2832[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2832 -> 2942[label="",style="dashed", color="magenta", weight=3];
2832 -> 2943[label="",style="dashed", color="magenta", weight=3];
2833 -> 2703[label="",style="dashed", color="red", weight=0];
2833[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2833 -> 2944[label="",style="dashed", color="magenta", weight=3];
2833 -> 2945[label="",style="dashed", color="magenta", weight=3];
2834 -> 2704[label="",style="dashed", color="red", weight=0];
2834[label="yv3280 == yv3320",fontsize=16,color="magenta"];2834 -> 2946[label="",style="dashed", color="magenta", weight=3];
2834 -> 2947[label="",style="dashed", color="magenta", weight=3];
2835[label="yv3320",fontsize=16,color="green",shape="box"];2836[label="yv3280",fontsize=16,color="green",shape="box"];2898[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3545[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3545[label="",style="solid", color="blue", weight=9];
3545 -> 2948[label="",style="solid", color="blue", weight=3];
3546[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3546[label="",style="solid", color="blue", weight=9];
3546 -> 2949[label="",style="solid", color="blue", weight=3];
3547[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3547[label="",style="solid", color="blue", weight=9];
3547 -> 2950[label="",style="solid", color="blue", weight=3];
3548[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3548[label="",style="solid", color="blue", weight=9];
3548 -> 2951[label="",style="solid", color="blue", weight=3];
3549[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3549[label="",style="solid", color="blue", weight=9];
3549 -> 2952[label="",style="solid", color="blue", weight=3];
3550[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3550[label="",style="solid", color="blue", weight=9];
3550 -> 2953[label="",style="solid", color="blue", weight=3];
3551[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3551[label="",style="solid", color="blue", weight=9];
3551 -> 2954[label="",style="solid", color="blue", weight=3];
3552[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3552[label="",style="solid", color="blue", weight=9];
3552 -> 2955[label="",style="solid", color="blue", weight=3];
3553[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3553[label="",style="solid", color="blue", weight=9];
3553 -> 2956[label="",style="solid", color="blue", weight=3];
3554[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3554[label="",style="solid", color="blue", weight=9];
3554 -> 2957[label="",style="solid", color="blue", weight=3];
3555[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3555[label="",style="solid", color="blue", weight=9];
3555 -> 2958[label="",style="solid", color="blue", weight=3];
3556[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3556[label="",style="solid", color="blue", weight=9];
3556 -> 2959[label="",style="solid", color="blue", weight=3];
3557[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3557[label="",style="solid", color="blue", weight=9];
3557 -> 2960[label="",style="solid", color="blue", weight=3];
3558[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2898 -> 3558[label="",style="solid", color="blue", weight=9];
3558 -> 2961[label="",style="solid", color="blue", weight=3];
2899[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="blue",shape="box"];3559[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3559[label="",style="solid", color="blue", weight=9];
3559 -> 2962[label="",style="solid", color="blue", weight=3];
3560[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3560[label="",style="solid", color="blue", weight=9];
3560 -> 2963[label="",style="solid", color="blue", weight=3];
3561[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3561[label="",style="solid", color="blue", weight=9];
3561 -> 2964[label="",style="solid", color="blue", weight=3];
3562[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3562[label="",style="solid", color="blue", weight=9];
3562 -> 2965[label="",style="solid", color="blue", weight=3];
3563[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3563[label="",style="solid", color="blue", weight=9];
3563 -> 2966[label="",style="solid", color="blue", weight=3];
3564[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3564[label="",style="solid", color="blue", weight=9];
3564 -> 2967[label="",style="solid", color="blue", weight=3];
3565[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3565[label="",style="solid", color="blue", weight=9];
3565 -> 2968[label="",style="solid", color="blue", weight=3];
3566[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3566[label="",style="solid", color="blue", weight=9];
3566 -> 2969[label="",style="solid", color="blue", weight=3];
3567[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3567[label="",style="solid", color="blue", weight=9];
3567 -> 2970[label="",style="solid", color="blue", weight=3];
3568[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3568[label="",style="solid", color="blue", weight=9];
3568 -> 2971[label="",style="solid", color="blue", weight=3];
3569[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3569[label="",style="solid", color="blue", weight=9];
3569 -> 2972[label="",style="solid", color="blue", weight=3];
3570[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3570[label="",style="solid", color="blue", weight=9];
3570 -> 2973[label="",style="solid", color="blue", weight=3];
3571[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3571[label="",style="solid", color="blue", weight=9];
3571 -> 2974[label="",style="solid", color="blue", weight=3];
3572[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2899 -> 3572[label="",style="solid", color="blue", weight=9];
3572 -> 2975[label="",style="solid", color="blue", weight=3];
2900[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3573[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3573[label="",style="solid", color="blue", weight=9];
3573 -> 2976[label="",style="solid", color="blue", weight=3];
3574[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3574[label="",style="solid", color="blue", weight=9];
3574 -> 2977[label="",style="solid", color="blue", weight=3];
3575[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3575[label="",style="solid", color="blue", weight=9];
3575 -> 2978[label="",style="solid", color="blue", weight=3];
3576[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3576[label="",style="solid", color="blue", weight=9];
3576 -> 2979[label="",style="solid", color="blue", weight=3];
3577[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3577[label="",style="solid", color="blue", weight=9];
3577 -> 2980[label="",style="solid", color="blue", weight=3];
3578[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3578[label="",style="solid", color="blue", weight=9];
3578 -> 2981[label="",style="solid", color="blue", weight=3];
3579[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3579[label="",style="solid", color="blue", weight=9];
3579 -> 2982[label="",style="solid", color="blue", weight=3];
3580[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3580[label="",style="solid", color="blue", weight=9];
3580 -> 2983[label="",style="solid", color="blue", weight=3];
3581[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3581[label="",style="solid", color="blue", weight=9];
3581 -> 2984[label="",style="solid", color="blue", weight=3];
3582[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3582[label="",style="solid", color="blue", weight=9];
3582 -> 2985[label="",style="solid", color="blue", weight=3];
3583[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3583[label="",style="solid", color="blue", weight=9];
3583 -> 2986[label="",style="solid", color="blue", weight=3];
3584[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3584[label="",style="solid", color="blue", weight=9];
3584 -> 2987[label="",style="solid", color="blue", weight=3];
3585[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3585[label="",style="solid", color="blue", weight=9];
3585 -> 2988[label="",style="solid", color="blue", weight=3];
3586[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2900 -> 3586[label="",style="solid", color="blue", weight=9];
3586 -> 2989[label="",style="solid", color="blue", weight=3];
2901 -> 2701[label="",style="dashed", color="red", weight=0];
2901[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];2901 -> 2990[label="",style="dashed", color="magenta", weight=3];
2901 -> 2991[label="",style="dashed", color="magenta", weight=3];
2902[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="blue",shape="box"];3588[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3588[label="",style="solid", color="blue", weight=9];
3588 -> 2992[label="",style="solid", color="blue", weight=3];
3589[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3589[label="",style="solid", color="blue", weight=9];
3589 -> 2993[label="",style="solid", color="blue", weight=3];
3590[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3590[label="",style="solid", color="blue", weight=9];
3590 -> 2994[label="",style="solid", color="blue", weight=3];
3591[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3591[label="",style="solid", color="blue", weight=9];
3591 -> 2995[label="",style="solid", color="blue", weight=3];
3592[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3592[label="",style="solid", color="blue", weight=9];
3592 -> 2996[label="",style="solid", color="blue", weight=3];
3593[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3593[label="",style="solid", color="blue", weight=9];
3593 -> 2997[label="",style="solid", color="blue", weight=3];
3594[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3594[label="",style="solid", color="blue", weight=9];
3594 -> 2998[label="",style="solid", color="blue", weight=3];
3595[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3595[label="",style="solid", color="blue", weight=9];
3595 -> 2999[label="",style="solid", color="blue", weight=3];
3596[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3596[label="",style="solid", color="blue", weight=9];
3596 -> 3000[label="",style="solid", color="blue", weight=3];
3597[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3597[label="",style="solid", color="blue", weight=9];
3597 -> 3001[label="",style="solid", color="blue", weight=3];
3598[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3598[label="",style="solid", color="blue", weight=9];
3598 -> 3002[label="",style="solid", color="blue", weight=3];
3599[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3599[label="",style="solid", color="blue", weight=9];
3599 -> 3003[label="",style="solid", color="blue", weight=3];
3600[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3600[label="",style="solid", color="blue", weight=9];
3600 -> 3004[label="",style="solid", color="blue", weight=3];
3601[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];2902 -> 3601[label="",style="solid", color="blue", weight=9];
3601 -> 3005[label="",style="solid", color="blue", weight=3];
2903 -> 2895[label="",style="dashed", color="red", weight=0];
2903[label="yv3281 == yv3321 && yv3282 == yv3322\n  Eq a  Eq b",fontsize=16,color="magenta"];2903 -> 3006[label="",style="dashed", color="magenta", weight=3];
2903 -> 3007[label="",style="dashed", color="magenta", weight=3];
2848 -> 2691[label="",style="dashed", color="red", weight=0];
2848[label="yv3280 == yv3320",fontsize=16,color="magenta"];2848 -> 3008[label="",style="dashed", color="magenta", weight=3];
2848 -> 3009[label="",style="dashed", color="magenta", weight=3];
2849 -> 2692[label="",style="dashed", color="red", weight=0];
2849[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2849 -> 3010[label="",style="dashed", color="magenta", weight=3];
2849 -> 3011[label="",style="dashed", color="magenta", weight=3];
2850 -> 2693[label="",style="dashed", color="red", weight=0];
2850[label="yv3280 == yv3320",fontsize=16,color="magenta"];2850 -> 3012[label="",style="dashed", color="magenta", weight=3];
2850 -> 3013[label="",style="dashed", color="magenta", weight=3];
2851 -> 2694[label="",style="dashed", color="red", weight=0];
2851[label="yv3280 == yv3320",fontsize=16,color="magenta"];2851 -> 3014[label="",style="dashed", color="magenta", weight=3];
2851 -> 3015[label="",style="dashed", color="magenta", weight=3];
2852 -> 2695[label="",style="dashed", color="red", weight=0];
2852[label="yv3280 == yv3320",fontsize=16,color="magenta"];2852 -> 3016[label="",style="dashed", color="magenta", weight=3];
2852 -> 3017[label="",style="dashed", color="magenta", weight=3];
2853 -> 2696[label="",style="dashed", color="red", weight=0];
2853[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2853 -> 3018[label="",style="dashed", color="magenta", weight=3];
2853 -> 3019[label="",style="dashed", color="magenta", weight=3];
2854 -> 2697[label="",style="dashed", color="red", weight=0];
2854[label="yv3280 == yv3320",fontsize=16,color="magenta"];2854 -> 3020[label="",style="dashed", color="magenta", weight=3];
2854 -> 3021[label="",style="dashed", color="magenta", weight=3];
2855 -> 2698[label="",style="dashed", color="red", weight=0];
2855[label="yv3280 == yv3320",fontsize=16,color="magenta"];2855 -> 3022[label="",style="dashed", color="magenta", weight=3];
2855 -> 3023[label="",style="dashed", color="magenta", weight=3];
2856 -> 2699[label="",style="dashed", color="red", weight=0];
2856[label="yv3280 == yv3320",fontsize=16,color="magenta"];2856 -> 3024[label="",style="dashed", color="magenta", weight=3];
2856 -> 3025[label="",style="dashed", color="magenta", weight=3];
2857 -> 2700[label="",style="dashed", color="red", weight=0];
2857[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2857 -> 3026[label="",style="dashed", color="magenta", weight=3];
2857 -> 3027[label="",style="dashed", color="magenta", weight=3];
2858 -> 2701[label="",style="dashed", color="red", weight=0];
2858[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2858 -> 3028[label="",style="dashed", color="magenta", weight=3];
2858 -> 3029[label="",style="dashed", color="magenta", weight=3];
2859 -> 2702[label="",style="dashed", color="red", weight=0];
2859[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2859 -> 3030[label="",style="dashed", color="magenta", weight=3];
2859 -> 3031[label="",style="dashed", color="magenta", weight=3];
2860 -> 2703[label="",style="dashed", color="red", weight=0];
2860[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2860 -> 3032[label="",style="dashed", color="magenta", weight=3];
2860 -> 3033[label="",style="dashed", color="magenta", weight=3];
2861 -> 2704[label="",style="dashed", color="red", weight=0];
2861[label="yv3280 == yv3320",fontsize=16,color="magenta"];2861 -> 3034[label="",style="dashed", color="magenta", weight=3];
2861 -> 3035[label="",style="dashed", color="magenta", weight=3];
2862 -> 2691[label="",style="dashed", color="red", weight=0];
2862[label="yv3280 == yv3320",fontsize=16,color="magenta"];2862 -> 3036[label="",style="dashed", color="magenta", weight=3];
2862 -> 3037[label="",style="dashed", color="magenta", weight=3];
2863 -> 2692[label="",style="dashed", color="red", weight=0];
2863[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2863 -> 3038[label="",style="dashed", color="magenta", weight=3];
2863 -> 3039[label="",style="dashed", color="magenta", weight=3];
2864 -> 2693[label="",style="dashed", color="red", weight=0];
2864[label="yv3280 == yv3320",fontsize=16,color="magenta"];2864 -> 3040[label="",style="dashed", color="magenta", weight=3];
2864 -> 3041[label="",style="dashed", color="magenta", weight=3];
2865 -> 2694[label="",style="dashed", color="red", weight=0];
2865[label="yv3280 == yv3320",fontsize=16,color="magenta"];2865 -> 3042[label="",style="dashed", color="magenta", weight=3];
2865 -> 3043[label="",style="dashed", color="magenta", weight=3];
2866 -> 2695[label="",style="dashed", color="red", weight=0];
2866[label="yv3280 == yv3320",fontsize=16,color="magenta"];2866 -> 3044[label="",style="dashed", color="magenta", weight=3];
2866 -> 3045[label="",style="dashed", color="magenta", weight=3];
2867 -> 2696[label="",style="dashed", color="red", weight=0];
2867[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2867 -> 3046[label="",style="dashed", color="magenta", weight=3];
2867 -> 3047[label="",style="dashed", color="magenta", weight=3];
2868 -> 2697[label="",style="dashed", color="red", weight=0];
2868[label="yv3280 == yv3320",fontsize=16,color="magenta"];2868 -> 3048[label="",style="dashed", color="magenta", weight=3];
2868 -> 3049[label="",style="dashed", color="magenta", weight=3];
2869 -> 2698[label="",style="dashed", color="red", weight=0];
2869[label="yv3280 == yv3320",fontsize=16,color="magenta"];2869 -> 3050[label="",style="dashed", color="magenta", weight=3];
2869 -> 3051[label="",style="dashed", color="magenta", weight=3];
2870 -> 2699[label="",style="dashed", color="red", weight=0];
2870[label="yv3280 == yv3320",fontsize=16,color="magenta"];2870 -> 3052[label="",style="dashed", color="magenta", weight=3];
2870 -> 3053[label="",style="dashed", color="magenta", weight=3];
2871 -> 2700[label="",style="dashed", color="red", weight=0];
2871[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2871 -> 3054[label="",style="dashed", color="magenta", weight=3];
2871 -> 3055[label="",style="dashed", color="magenta", weight=3];
2872 -> 2701[label="",style="dashed", color="red", weight=0];
2872[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2872 -> 3056[label="",style="dashed", color="magenta", weight=3];
2872 -> 3057[label="",style="dashed", color="magenta", weight=3];
2873 -> 2702[label="",style="dashed", color="red", weight=0];
2873[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2873 -> 3058[label="",style="dashed", color="magenta", weight=3];
2873 -> 3059[label="",style="dashed", color="magenta", weight=3];
2874 -> 2703[label="",style="dashed", color="red", weight=0];
2874[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2874 -> 3060[label="",style="dashed", color="magenta", weight=3];
2874 -> 3061[label="",style="dashed", color="magenta", weight=3];
2875 -> 2704[label="",style="dashed", color="red", weight=0];
2875[label="yv3280 == yv3320",fontsize=16,color="magenta"];2875 -> 3062[label="",style="dashed", color="magenta", weight=3];
2875 -> 3063[label="",style="dashed", color="magenta", weight=3];
2876[label="primEqInt (Pos (Succ yv32800)) (Pos yv3320)",fontsize=16,color="burlywood",shape="box"];3631[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2876 -> 3631[label="",style="solid", color="burlywood", weight=9];
3631 -> 3064[label="",style="solid", color="burlywood", weight=3];
3632[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2876 -> 3632[label="",style="solid", color="burlywood", weight=9];
3632 -> 3065[label="",style="solid", color="burlywood", weight=3];
2877[label="primEqInt (Pos (Succ yv32800)) (Neg yv3320)",fontsize=16,color="black",shape="box"];2877 -> 3066[label="",style="solid", color="black", weight=3];
2878[label="primEqInt (Pos Zero) (Pos yv3320)",fontsize=16,color="burlywood",shape="box"];3633[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2878 -> 3633[label="",style="solid", color="burlywood", weight=9];
3633 -> 3067[label="",style="solid", color="burlywood", weight=3];
3634[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2878 -> 3634[label="",style="solid", color="burlywood", weight=9];
3634 -> 3068[label="",style="solid", color="burlywood", weight=3];
2879[label="primEqInt (Pos Zero) (Neg yv3320)",fontsize=16,color="burlywood",shape="box"];3635[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2879 -> 3635[label="",style="solid", color="burlywood", weight=9];
3635 -> 3069[label="",style="solid", color="burlywood", weight=3];
3636[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2879 -> 3636[label="",style="solid", color="burlywood", weight=9];
3636 -> 3070[label="",style="solid", color="burlywood", weight=3];
2880[label="primEqInt (Neg (Succ yv32800)) (Pos yv3320)",fontsize=16,color="black",shape="box"];2880 -> 3071[label="",style="solid", color="black", weight=3];
2881[label="primEqInt (Neg (Succ yv32800)) (Neg yv3320)",fontsize=16,color="burlywood",shape="box"];3637[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3637[label="",style="solid", color="burlywood", weight=9];
3637 -> 3072[label="",style="solid", color="burlywood", weight=3];
3638[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2881 -> 3638[label="",style="solid", color="burlywood", weight=9];
3638 -> 3073[label="",style="solid", color="burlywood", weight=3];
2882[label="primEqInt (Neg Zero) (Pos yv3320)",fontsize=16,color="burlywood",shape="box"];3639[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2882 -> 3639[label="",style="solid", color="burlywood", weight=9];
3639 -> 3074[label="",style="solid", color="burlywood", weight=3];
3640[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2882 -> 3640[label="",style="solid", color="burlywood", weight=9];
3640 -> 3075[label="",style="solid", color="burlywood", weight=3];
2883[label="primEqInt (Neg Zero) (Neg yv3320)",fontsize=16,color="burlywood",shape="box"];3641[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2883 -> 3641[label="",style="solid", color="burlywood", weight=9];
3641 -> 3076[label="",style="solid", color="burlywood", weight=3];
3642[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2883 -> 3642[label="",style="solid", color="burlywood", weight=9];
3642 -> 3077[label="",style="solid", color="burlywood", weight=3];
2884[label="yv344\n  Eq a",fontsize=16,color="green",shape="box"];2885[label="yv3460\n  Eq a",fontsize=16,color="green",shape="box"];2886[label="yv343\n  Eq a",fontsize=16,color="green",shape="box"];2887[label="yv342\n  Eq a",fontsize=16,color="green",shape="box"];2888[label="yv3461\n  Eq a",fontsize=16,color="green",shape="box"];2889[label="yv341\n  Eq a",fontsize=16,color="green",shape="box"];2890[label="nubNub'1 yv341 yv342 (yv343 : yv344) False\n  Eq a",fontsize=16,color="black",shape="box"];2890 -> 3078[label="",style="solid", color="black", weight=3];
2891[label="nubNub'2 (yv3420 : yv3421) (yv343 : yv344)\n  Eq a",fontsize=16,color="black",shape="box"];2891 -> 3079[label="",style="solid", color="black", weight=3];
2892[label="nubNub'3 [] (yv343 : yv344)\n  Eq a",fontsize=16,color="black",shape="box"];2892 -> 3080[label="",style="solid", color="black", weight=3];
2908 -> 2699[label="",style="dashed", color="red", weight=0];
2908[label="yv3280 == yv3320",fontsize=16,color="magenta"];2908 -> 3081[label="",style="dashed", color="magenta", weight=3];
2908 -> 3082[label="",style="dashed", color="magenta", weight=3];
2909 -> 2704[label="",style="dashed", color="red", weight=0];
2909[label="yv3280 == yv3320",fontsize=16,color="magenta"];2909 -> 3083[label="",style="dashed", color="magenta", weight=3];
2909 -> 3084[label="",style="dashed", color="magenta", weight=3];
2910 -> 2699[label="",style="dashed", color="red", weight=0];
2910[label="yv3281 == yv3321",fontsize=16,color="magenta"];2910 -> 3085[label="",style="dashed", color="magenta", weight=3];
2910 -> 3086[label="",style="dashed", color="magenta", weight=3];
2911 -> 2704[label="",style="dashed", color="red", weight=0];
2911[label="yv3281 == yv3321",fontsize=16,color="magenta"];2911 -> 3087[label="",style="dashed", color="magenta", weight=3];
2911 -> 3088[label="",style="dashed", color="magenta", weight=3];
2912[label="False && yv359",fontsize=16,color="black",shape="box"];2912 -> 3089[label="",style="solid", color="black", weight=3];
2913[label="True && yv359",fontsize=16,color="black",shape="box"];2913 -> 3090[label="",style="solid", color="black", weight=3];
2914[label="yv3281 * yv3321",fontsize=16,color="black",shape="triangle"];2914 -> 3091[label="",style="solid", color="black", weight=3];
2915 -> 2914[label="",style="dashed", color="red", weight=0];
2915[label="yv3280 * yv3320",fontsize=16,color="magenta"];2915 -> 3092[label="",style="dashed", color="magenta", weight=3];
2915 -> 3093[label="",style="dashed", color="magenta", weight=3];
2916[label="primEqNat (Succ yv32800) yv3320",fontsize=16,color="burlywood",shape="box"];3648[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2916 -> 3648[label="",style="solid", color="burlywood", weight=9];
3648 -> 3094[label="",style="solid", color="burlywood", weight=3];
3649[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2916 -> 3649[label="",style="solid", color="burlywood", weight=9];
3649 -> 3095[label="",style="solid", color="burlywood", weight=3];
2917[label="primEqNat Zero yv3320",fontsize=16,color="burlywood",shape="box"];3650[label="yv3320/Succ yv33200",fontsize=10,color="white",style="solid",shape="box"];2917 -> 3650[label="",style="solid", color="burlywood", weight=9];
3650 -> 3096[label="",style="solid", color="burlywood", weight=3];
3651[label="yv3320/Zero",fontsize=10,color="white",style="solid",shape="box"];2917 -> 3651[label="",style="solid", color="burlywood", weight=9];
3651 -> 3097[label="",style="solid", color="burlywood", weight=3];
2918 -> 2914[label="",style="dashed", color="red", weight=0];
2918[label="yv3281 * yv3321",fontsize=16,color="magenta"];2918 -> 3098[label="",style="dashed", color="magenta", weight=3];
2918 -> 3099[label="",style="dashed", color="magenta", weight=3];
2919 -> 2914[label="",style="dashed", color="red", weight=0];
2919[label="yv3280 * yv3320",fontsize=16,color="magenta"];2919 -> 3100[label="",style="dashed", color="magenta", weight=3];
2919 -> 3101[label="",style="dashed", color="magenta", weight=3];
2920[label="yv3320",fontsize=16,color="green",shape="box"];2921[label="yv3280",fontsize=16,color="green",shape="box"];2922[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];2923[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];2924[label="yv3320",fontsize=16,color="green",shape="box"];2925[label="yv3280",fontsize=16,color="green",shape="box"];2926[label="yv3320",fontsize=16,color="green",shape="box"];2927[label="yv3280",fontsize=16,color="green",shape="box"];2928[label="yv3320",fontsize=16,color="green",shape="box"];2929[label="yv3280",fontsize=16,color="green",shape="box"];2930[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];2931[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];2932[label="yv3320",fontsize=16,color="green",shape="box"];2933[label="yv3280",fontsize=16,color="green",shape="box"];2934[label="yv3320",fontsize=16,color="green",shape="box"];2935[label="yv3280",fontsize=16,color="green",shape="box"];2936[label="yv3320",fontsize=16,color="green",shape="box"];2937[label="yv3280",fontsize=16,color="green",shape="box"];2938[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2939[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2940[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];2941[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];2942[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2943[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];2944[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2945[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];2946[label="yv3320",fontsize=16,color="green",shape="box"];2947[label="yv3280",fontsize=16,color="green",shape="box"];2948 -> 2691[label="",style="dashed", color="red", weight=0];
2948[label="yv3280 == yv3320",fontsize=16,color="magenta"];2948 -> 3102[label="",style="dashed", color="magenta", weight=3];
2948 -> 3103[label="",style="dashed", color="magenta", weight=3];
2949 -> 2692[label="",style="dashed", color="red", weight=0];
2949[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2949 -> 3104[label="",style="dashed", color="magenta", weight=3];
2949 -> 3105[label="",style="dashed", color="magenta", weight=3];
2950 -> 2693[label="",style="dashed", color="red", weight=0];
2950[label="yv3280 == yv3320",fontsize=16,color="magenta"];2950 -> 3106[label="",style="dashed", color="magenta", weight=3];
2950 -> 3107[label="",style="dashed", color="magenta", weight=3];
2951 -> 2694[label="",style="dashed", color="red", weight=0];
2951[label="yv3280 == yv3320",fontsize=16,color="magenta"];2951 -> 3108[label="",style="dashed", color="magenta", weight=3];
2951 -> 3109[label="",style="dashed", color="magenta", weight=3];
2952 -> 2695[label="",style="dashed", color="red", weight=0];
2952[label="yv3280 == yv3320",fontsize=16,color="magenta"];2952 -> 3110[label="",style="dashed", color="magenta", weight=3];
2952 -> 3111[label="",style="dashed", color="magenta", weight=3];
2953 -> 2696[label="",style="dashed", color="red", weight=0];
2953[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2953 -> 3112[label="",style="dashed", color="magenta", weight=3];
2953 -> 3113[label="",style="dashed", color="magenta", weight=3];
2954 -> 2697[label="",style="dashed", color="red", weight=0];
2954[label="yv3280 == yv3320",fontsize=16,color="magenta"];2954 -> 3114[label="",style="dashed", color="magenta", weight=3];
2954 -> 3115[label="",style="dashed", color="magenta", weight=3];
2955 -> 2698[label="",style="dashed", color="red", weight=0];
2955[label="yv3280 == yv3320",fontsize=16,color="magenta"];2955 -> 3116[label="",style="dashed", color="magenta", weight=3];
2955 -> 3117[label="",style="dashed", color="magenta", weight=3];
2956 -> 2699[label="",style="dashed", color="red", weight=0];
2956[label="yv3280 == yv3320",fontsize=16,color="magenta"];2956 -> 3118[label="",style="dashed", color="magenta", weight=3];
2956 -> 3119[label="",style="dashed", color="magenta", weight=3];
2957 -> 2700[label="",style="dashed", color="red", weight=0];
2957[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2957 -> 3120[label="",style="dashed", color="magenta", weight=3];
2957 -> 3121[label="",style="dashed", color="magenta", weight=3];
2958 -> 2701[label="",style="dashed", color="red", weight=0];
2958[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2958 -> 3122[label="",style="dashed", color="magenta", weight=3];
2958 -> 3123[label="",style="dashed", color="magenta", weight=3];
2959 -> 2702[label="",style="dashed", color="red", weight=0];
2959[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2959 -> 3124[label="",style="dashed", color="magenta", weight=3];
2959 -> 3125[label="",style="dashed", color="magenta", weight=3];
2960 -> 2703[label="",style="dashed", color="red", weight=0];
2960[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2960 -> 3126[label="",style="dashed", color="magenta", weight=3];
2960 -> 3127[label="",style="dashed", color="magenta", weight=3];
2961 -> 2704[label="",style="dashed", color="red", weight=0];
2961[label="yv3280 == yv3320",fontsize=16,color="magenta"];2961 -> 3128[label="",style="dashed", color="magenta", weight=3];
2961 -> 3129[label="",style="dashed", color="magenta", weight=3];
2962 -> 2691[label="",style="dashed", color="red", weight=0];
2962[label="yv3281 == yv3321",fontsize=16,color="magenta"];2962 -> 3130[label="",style="dashed", color="magenta", weight=3];
2962 -> 3131[label="",style="dashed", color="magenta", weight=3];
2963 -> 2692[label="",style="dashed", color="red", weight=0];
2963[label="yv3281 == yv3321\n  Integral a",fontsize=16,color="magenta"];2963 -> 3132[label="",style="dashed", color="magenta", weight=3];
2963 -> 3133[label="",style="dashed", color="magenta", weight=3];
2964 -> 2693[label="",style="dashed", color="red", weight=0];
2964[label="yv3281 == yv3321",fontsize=16,color="magenta"];2964 -> 3134[label="",style="dashed", color="magenta", weight=3];
2964 -> 3135[label="",style="dashed", color="magenta", weight=3];
2965 -> 2694[label="",style="dashed", color="red", weight=0];
2965[label="yv3281 == yv3321",fontsize=16,color="magenta"];2965 -> 3136[label="",style="dashed", color="magenta", weight=3];
2965 -> 3137[label="",style="dashed", color="magenta", weight=3];
2966 -> 2695[label="",style="dashed", color="red", weight=0];
2966[label="yv3281 == yv3321",fontsize=16,color="magenta"];2966 -> 3138[label="",style="dashed", color="magenta", weight=3];
2966 -> 3139[label="",style="dashed", color="magenta", weight=3];
2967 -> 2696[label="",style="dashed", color="red", weight=0];
2967[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];2967 -> 3140[label="",style="dashed", color="magenta", weight=3];
2967 -> 3141[label="",style="dashed", color="magenta", weight=3];
2968 -> 2697[label="",style="dashed", color="red", weight=0];
2968[label="yv3281 == yv3321",fontsize=16,color="magenta"];2968 -> 3142[label="",style="dashed", color="magenta", weight=3];
2968 -> 3143[label="",style="dashed", color="magenta", weight=3];
2969 -> 2698[label="",style="dashed", color="red", weight=0];
2969[label="yv3281 == yv3321",fontsize=16,color="magenta"];2969 -> 3144[label="",style="dashed", color="magenta", weight=3];
2969 -> 3145[label="",style="dashed", color="magenta", weight=3];
2970 -> 2699[label="",style="dashed", color="red", weight=0];
2970[label="yv3281 == yv3321",fontsize=16,color="magenta"];2970 -> 3146[label="",style="dashed", color="magenta", weight=3];
2970 -> 3147[label="",style="dashed", color="magenta", weight=3];
2971 -> 2700[label="",style="dashed", color="red", weight=0];
2971[label="yv3281 == yv3321\n  Eq a  Eq b",fontsize=16,color="magenta"];2971 -> 3148[label="",style="dashed", color="magenta", weight=3];
2971 -> 3149[label="",style="dashed", color="magenta", weight=3];
2972 -> 2701[label="",style="dashed", color="red", weight=0];
2972[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];2972 -> 3150[label="",style="dashed", color="magenta", weight=3];
2972 -> 3151[label="",style="dashed", color="magenta", weight=3];
2973 -> 2702[label="",style="dashed", color="red", weight=0];
2973[label="yv3281 == yv3321\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2973 -> 3152[label="",style="dashed", color="magenta", weight=3];
2973 -> 3153[label="",style="dashed", color="magenta", weight=3];
2974 -> 2703[label="",style="dashed", color="red", weight=0];
2974[label="yv3281 == yv3321\n  Eq a  Eq b",fontsize=16,color="magenta"];2974 -> 3154[label="",style="dashed", color="magenta", weight=3];
2974 -> 3155[label="",style="dashed", color="magenta", weight=3];
2975 -> 2704[label="",style="dashed", color="red", weight=0];
2975[label="yv3281 == yv3321",fontsize=16,color="magenta"];2975 -> 3156[label="",style="dashed", color="magenta", weight=3];
2975 -> 3157[label="",style="dashed", color="magenta", weight=3];
2976 -> 2691[label="",style="dashed", color="red", weight=0];
2976[label="yv3280 == yv3320",fontsize=16,color="magenta"];2976 -> 3158[label="",style="dashed", color="magenta", weight=3];
2976 -> 3159[label="",style="dashed", color="magenta", weight=3];
2977 -> 2692[label="",style="dashed", color="red", weight=0];
2977[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2977 -> 3160[label="",style="dashed", color="magenta", weight=3];
2977 -> 3161[label="",style="dashed", color="magenta", weight=3];
2978 -> 2693[label="",style="dashed", color="red", weight=0];
2978[label="yv3280 == yv3320",fontsize=16,color="magenta"];2978 -> 3162[label="",style="dashed", color="magenta", weight=3];
2978 -> 3163[label="",style="dashed", color="magenta", weight=3];
2979 -> 2694[label="",style="dashed", color="red", weight=0];
2979[label="yv3280 == yv3320",fontsize=16,color="magenta"];2979 -> 3164[label="",style="dashed", color="magenta", weight=3];
2979 -> 3165[label="",style="dashed", color="magenta", weight=3];
2980 -> 2695[label="",style="dashed", color="red", weight=0];
2980[label="yv3280 == yv3320",fontsize=16,color="magenta"];2980 -> 3166[label="",style="dashed", color="magenta", weight=3];
2980 -> 3167[label="",style="dashed", color="magenta", weight=3];
2981 -> 2696[label="",style="dashed", color="red", weight=0];
2981[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2981 -> 3168[label="",style="dashed", color="magenta", weight=3];
2981 -> 3169[label="",style="dashed", color="magenta", weight=3];
2982 -> 2697[label="",style="dashed", color="red", weight=0];
2982[label="yv3280 == yv3320",fontsize=16,color="magenta"];2982 -> 3170[label="",style="dashed", color="magenta", weight=3];
2982 -> 3171[label="",style="dashed", color="magenta", weight=3];
2983 -> 2698[label="",style="dashed", color="red", weight=0];
2983[label="yv3280 == yv3320",fontsize=16,color="magenta"];2983 -> 3172[label="",style="dashed", color="magenta", weight=3];
2983 -> 3173[label="",style="dashed", color="magenta", weight=3];
2984 -> 2699[label="",style="dashed", color="red", weight=0];
2984[label="yv3280 == yv3320",fontsize=16,color="magenta"];2984 -> 3174[label="",style="dashed", color="magenta", weight=3];
2984 -> 3175[label="",style="dashed", color="magenta", weight=3];
2985 -> 2700[label="",style="dashed", color="red", weight=0];
2985[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2985 -> 3176[label="",style="dashed", color="magenta", weight=3];
2985 -> 3177[label="",style="dashed", color="magenta", weight=3];
2986 -> 2701[label="",style="dashed", color="red", weight=0];
2986[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2986 -> 3178[label="",style="dashed", color="magenta", weight=3];
2986 -> 3179[label="",style="dashed", color="magenta", weight=3];
2987 -> 2702[label="",style="dashed", color="red", weight=0];
2987[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];2987 -> 3180[label="",style="dashed", color="magenta", weight=3];
2987 -> 3181[label="",style="dashed", color="magenta", weight=3];
2988 -> 2703[label="",style="dashed", color="red", weight=0];
2988[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];2988 -> 3182[label="",style="dashed", color="magenta", weight=3];
2988 -> 3183[label="",style="dashed", color="magenta", weight=3];
2989 -> 2704[label="",style="dashed", color="red", weight=0];
2989[label="yv3280 == yv3320",fontsize=16,color="magenta"];2989 -> 3184[label="",style="dashed", color="magenta", weight=3];
2989 -> 3185[label="",style="dashed", color="magenta", weight=3];
2990[label="yv3321\n  Eq a",fontsize=16,color="green",shape="box"];2991[label="yv3281\n  Eq a",fontsize=16,color="green",shape="box"];2992 -> 2691[label="",style="dashed", color="red", weight=0];
2992[label="yv3280 == yv3320",fontsize=16,color="magenta"];2992 -> 3186[label="",style="dashed", color="magenta", weight=3];
2992 -> 3187[label="",style="dashed", color="magenta", weight=3];
2993 -> 2692[label="",style="dashed", color="red", weight=0];
2993[label="yv3280 == yv3320\n  Integral a",fontsize=16,color="magenta"];2993 -> 3188[label="",style="dashed", color="magenta", weight=3];
2993 -> 3189[label="",style="dashed", color="magenta", weight=3];
2994 -> 2693[label="",style="dashed", color="red", weight=0];
2994[label="yv3280 == yv3320",fontsize=16,color="magenta"];2994 -> 3190[label="",style="dashed", color="magenta", weight=3];
2994 -> 3191[label="",style="dashed", color="magenta", weight=3];
2995 -> 2694[label="",style="dashed", color="red", weight=0];
2995[label="yv3280 == yv3320",fontsize=16,color="magenta"];2995 -> 3192[label="",style="dashed", color="magenta", weight=3];
2995 -> 3193[label="",style="dashed", color="magenta", weight=3];
2996 -> 2695[label="",style="dashed", color="red", weight=0];
2996[label="yv3280 == yv3320",fontsize=16,color="magenta"];2996 -> 3194[label="",style="dashed", color="magenta", weight=3];
2996 -> 3195[label="",style="dashed", color="magenta", weight=3];
2997 -> 2696[label="",style="dashed", color="red", weight=0];
2997[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];2997 -> 3196[label="",style="dashed", color="magenta", weight=3];
2997 -> 3197[label="",style="dashed", color="magenta", weight=3];
2998 -> 2697[label="",style="dashed", color="red", weight=0];
2998[label="yv3280 == yv3320",fontsize=16,color="magenta"];2998 -> 3198[label="",style="dashed", color="magenta", weight=3];
2998 -> 3199[label="",style="dashed", color="magenta", weight=3];
2999 -> 2698[label="",style="dashed", color="red", weight=0];
2999[label="yv3280 == yv3320",fontsize=16,color="magenta"];2999 -> 3200[label="",style="dashed", color="magenta", weight=3];
2999 -> 3201[label="",style="dashed", color="magenta", weight=3];
3000 -> 2699[label="",style="dashed", color="red", weight=0];
3000[label="yv3280 == yv3320",fontsize=16,color="magenta"];3000 -> 3202[label="",style="dashed", color="magenta", weight=3];
3000 -> 3203[label="",style="dashed", color="magenta", weight=3];
3001 -> 2700[label="",style="dashed", color="red", weight=0];
3001[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];3001 -> 3204[label="",style="dashed", color="magenta", weight=3];
3001 -> 3205[label="",style="dashed", color="magenta", weight=3];
3002 -> 2701[label="",style="dashed", color="red", weight=0];
3002[label="yv3280 == yv3320\n  Eq a",fontsize=16,color="magenta"];3002 -> 3206[label="",style="dashed", color="magenta", weight=3];
3002 -> 3207[label="",style="dashed", color="magenta", weight=3];
3003 -> 2702[label="",style="dashed", color="red", weight=0];
3003[label="yv3280 == yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];3003 -> 3208[label="",style="dashed", color="magenta", weight=3];
3003 -> 3209[label="",style="dashed", color="magenta", weight=3];
3004 -> 2703[label="",style="dashed", color="red", weight=0];
3004[label="yv3280 == yv3320\n  Eq a  Eq b",fontsize=16,color="magenta"];3004 -> 3210[label="",style="dashed", color="magenta", weight=3];
3004 -> 3211[label="",style="dashed", color="magenta", weight=3];
3005 -> 2704[label="",style="dashed", color="red", weight=0];
3005[label="yv3280 == yv3320",fontsize=16,color="magenta"];3005 -> 3212[label="",style="dashed", color="magenta", weight=3];
3005 -> 3213[label="",style="dashed", color="magenta", weight=3];
3006[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="blue",shape="box"];3710[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3710[label="",style="solid", color="blue", weight=9];
3710 -> 3214[label="",style="solid", color="blue", weight=3];
3711[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3711[label="",style="solid", color="blue", weight=9];
3711 -> 3215[label="",style="solid", color="blue", weight=3];
3712[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3712[label="",style="solid", color="blue", weight=9];
3712 -> 3216[label="",style="solid", color="blue", weight=3];
3713[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3713[label="",style="solid", color="blue", weight=9];
3713 -> 3217[label="",style="solid", color="blue", weight=3];
3714[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3714[label="",style="solid", color="blue", weight=9];
3714 -> 3218[label="",style="solid", color="blue", weight=3];
3715[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3715[label="",style="solid", color="blue", weight=9];
3715 -> 3219[label="",style="solid", color="blue", weight=3];
3716[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3716[label="",style="solid", color="blue", weight=9];
3716 -> 3220[label="",style="solid", color="blue", weight=3];
3717[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3717[label="",style="solid", color="blue", weight=9];
3717 -> 3221[label="",style="solid", color="blue", weight=3];
3718[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3718[label="",style="solid", color="blue", weight=9];
3718 -> 3222[label="",style="solid", color="blue", weight=3];
3719[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3719[label="",style="solid", color="blue", weight=9];
3719 -> 3223[label="",style="solid", color="blue", weight=3];
3720[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3720[label="",style="solid", color="blue", weight=9];
3720 -> 3224[label="",style="solid", color="blue", weight=3];
3721[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3721[label="",style="solid", color="blue", weight=9];
3721 -> 3225[label="",style="solid", color="blue", weight=3];
3722[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3722[label="",style="solid", color="blue", weight=9];
3722 -> 3226[label="",style="solid", color="blue", weight=3];
3723[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3006 -> 3723[label="",style="solid", color="blue", weight=9];
3723 -> 3227[label="",style="solid", color="blue", weight=3];
3007[label="yv3282 == yv3322\n  Eq a",fontsize=16,color="blue",shape="box"];3724[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3724[label="",style="solid", color="blue", weight=9];
3724 -> 3228[label="",style="solid", color="blue", weight=3];
3725[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3725[label="",style="solid", color="blue", weight=9];
3725 -> 3229[label="",style="solid", color="blue", weight=3];
3726[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3726[label="",style="solid", color="blue", weight=9];
3726 -> 3230[label="",style="solid", color="blue", weight=3];
3727[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3727[label="",style="solid", color="blue", weight=9];
3727 -> 3231[label="",style="solid", color="blue", weight=3];
3728[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3728[label="",style="solid", color="blue", weight=9];
3728 -> 3232[label="",style="solid", color="blue", weight=3];
3729[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3729[label="",style="solid", color="blue", weight=9];
3729 -> 3233[label="",style="solid", color="blue", weight=3];
3730[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3730[label="",style="solid", color="blue", weight=9];
3730 -> 3234[label="",style="solid", color="blue", weight=3];
3731[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3731[label="",style="solid", color="blue", weight=9];
3731 -> 3235[label="",style="solid", color="blue", weight=3];
3732[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3732[label="",style="solid", color="blue", weight=9];
3732 -> 3236[label="",style="solid", color="blue", weight=3];
3733[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3733[label="",style="solid", color="blue", weight=9];
3733 -> 3237[label="",style="solid", color="blue", weight=3];
3734[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3734[label="",style="solid", color="blue", weight=9];
3734 -> 3238[label="",style="solid", color="blue", weight=3];
3735[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3735[label="",style="solid", color="blue", weight=9];
3735 -> 3239[label="",style="solid", color="blue", weight=3];
3736[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3736[label="",style="solid", color="blue", weight=9];
3736 -> 3240[label="",style="solid", color="blue", weight=3];
3737[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];3007 -> 3737[label="",style="solid", color="blue", weight=9];
3737 -> 3241[label="",style="solid", color="blue", weight=3];
3008[label="yv3320",fontsize=16,color="green",shape="box"];3009[label="yv3280",fontsize=16,color="green",shape="box"];3010[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];3011[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];3012[label="yv3320",fontsize=16,color="green",shape="box"];3013[label="yv3280",fontsize=16,color="green",shape="box"];3014[label="yv3320",fontsize=16,color="green",shape="box"];3015[label="yv3280",fontsize=16,color="green",shape="box"];3016[label="yv3320",fontsize=16,color="green",shape="box"];3017[label="yv3280",fontsize=16,color="green",shape="box"];3018[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3019[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3020[label="yv3320",fontsize=16,color="green",shape="box"];3021[label="yv3280",fontsize=16,color="green",shape="box"];3022[label="yv3320",fontsize=16,color="green",shape="box"];3023[label="yv3280",fontsize=16,color="green",shape="box"];3024[label="yv3320",fontsize=16,color="green",shape="box"];3025[label="yv3280",fontsize=16,color="green",shape="box"];3026[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3027[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3028[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3029[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3030[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3031[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3032[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3033[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3034[label="yv3320",fontsize=16,color="green",shape="box"];3035[label="yv3280",fontsize=16,color="green",shape="box"];3036[label="yv3320",fontsize=16,color="green",shape="box"];3037[label="yv3280",fontsize=16,color="green",shape="box"];3038[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];3039[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];3040[label="yv3320",fontsize=16,color="green",shape="box"];3041[label="yv3280",fontsize=16,color="green",shape="box"];3042[label="yv3320",fontsize=16,color="green",shape="box"];3043[label="yv3280",fontsize=16,color="green",shape="box"];3044[label="yv3320",fontsize=16,color="green",shape="box"];3045[label="yv3280",fontsize=16,color="green",shape="box"];3046[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3047[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3048[label="yv3320",fontsize=16,color="green",shape="box"];3049[label="yv3280",fontsize=16,color="green",shape="box"];3050[label="yv3320",fontsize=16,color="green",shape="box"];3051[label="yv3280",fontsize=16,color="green",shape="box"];3052[label="yv3320",fontsize=16,color="green",shape="box"];3053[label="yv3280",fontsize=16,color="green",shape="box"];3054[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3055[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3056[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3057[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3058[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3059[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3060[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3061[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3062[label="yv3320",fontsize=16,color="green",shape="box"];3063[label="yv3280",fontsize=16,color="green",shape="box"];3064[label="primEqInt (Pos (Succ yv32800)) (Pos (Succ yv33200))",fontsize=16,color="black",shape="box"];3064 -> 3242[label="",style="solid", color="black", weight=3];
3065[label="primEqInt (Pos (Succ yv32800)) (Pos Zero)",fontsize=16,color="black",shape="box"];3065 -> 3243[label="",style="solid", color="black", weight=3];
3066[label="False",fontsize=16,color="green",shape="box"];3067[label="primEqInt (Pos Zero) (Pos (Succ yv33200))",fontsize=16,color="black",shape="box"];3067 -> 3244[label="",style="solid", color="black", weight=3];
3068[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];3068 -> 3245[label="",style="solid", color="black", weight=3];
3069[label="primEqInt (Pos Zero) (Neg (Succ yv33200))",fontsize=16,color="black",shape="box"];3069 -> 3246[label="",style="solid", color="black", weight=3];
3070[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];3070 -> 3247[label="",style="solid", color="black", weight=3];
3071[label="False",fontsize=16,color="green",shape="box"];3072[label="primEqInt (Neg (Succ yv32800)) (Neg (Succ yv33200))",fontsize=16,color="black",shape="box"];3072 -> 3248[label="",style="solid", color="black", weight=3];
3073[label="primEqInt (Neg (Succ yv32800)) (Neg Zero)",fontsize=16,color="black",shape="box"];3073 -> 3249[label="",style="solid", color="black", weight=3];
3074[label="primEqInt (Neg Zero) (Pos (Succ yv33200))",fontsize=16,color="black",shape="box"];3074 -> 3250[label="",style="solid", color="black", weight=3];
3075[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];3075 -> 3251[label="",style="solid", color="black", weight=3];
3076[label="primEqInt (Neg Zero) (Neg (Succ yv33200))",fontsize=16,color="black",shape="box"];3076 -> 3252[label="",style="solid", color="black", weight=3];
3077[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];3077 -> 3253[label="",style="solid", color="black", weight=3];
3078[label="nubNub'0 yv341 yv342 (yv343 : yv344) otherwise\n  Eq a",fontsize=16,color="black",shape="box"];3078 -> 3254[label="",style="solid", color="black", weight=3];
3079[label="nubNub'1 yv3420 yv3421 (yv343 : yv344) (yv3420 `elem` yv343 : yv344)\n  Eq a",fontsize=16,color="black",shape="box"];3079 -> 3255[label="",style="solid", color="black", weight=3];
3080[label="[]\n  Eq a",fontsize=16,color="green",shape="box"];3081[label="yv3320",fontsize=16,color="green",shape="box"];3082[label="yv3280",fontsize=16,color="green",shape="box"];3083[label="yv3320",fontsize=16,color="green",shape="box"];3084[label="yv3280",fontsize=16,color="green",shape="box"];3085[label="yv3321",fontsize=16,color="green",shape="box"];3086[label="yv3281",fontsize=16,color="green",shape="box"];3087[label="yv3321",fontsize=16,color="green",shape="box"];3088[label="yv3281",fontsize=16,color="green",shape="box"];3089[label="False",fontsize=16,color="green",shape="box"];3090[label="yv359",fontsize=16,color="green",shape="box"];3091[label="primMulInt yv3281 yv3321",fontsize=16,color="burlywood",shape="box"];3738[label="yv3281/Pos yv32810",fontsize=10,color="white",style="solid",shape="box"];3091 -> 3738[label="",style="solid", color="burlywood", weight=9];
3738 -> 3256[label="",style="solid", color="burlywood", weight=3];
3739[label="yv3281/Neg yv32810",fontsize=10,color="white",style="solid",shape="box"];3091 -> 3739[label="",style="solid", color="burlywood", weight=9];
3739 -> 3257[label="",style="solid", color="burlywood", weight=3];
3092[label="yv3320",fontsize=16,color="green",shape="box"];3093[label="yv3280",fontsize=16,color="green",shape="box"];3094[label="primEqNat (Succ yv32800) (Succ yv33200)",fontsize=16,color="black",shape="box"];3094 -> 3258[label="",style="solid", color="black", weight=3];
3095[label="primEqNat (Succ yv32800) Zero",fontsize=16,color="black",shape="box"];3095 -> 3259[label="",style="solid", color="black", weight=3];
3096[label="primEqNat Zero (Succ yv33200)",fontsize=16,color="black",shape="box"];3096 -> 3260[label="",style="solid", color="black", weight=3];
3097[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];3097 -> 3261[label="",style="solid", color="black", weight=3];
3098[label="yv3321",fontsize=16,color="green",shape="box"];3099[label="yv3281",fontsize=16,color="green",shape="box"];3100[label="yv3320",fontsize=16,color="green",shape="box"];3101[label="yv3280",fontsize=16,color="green",shape="box"];3102[label="yv3320",fontsize=16,color="green",shape="box"];3103[label="yv3280",fontsize=16,color="green",shape="box"];3104[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];3105[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];3106[label="yv3320",fontsize=16,color="green",shape="box"];3107[label="yv3280",fontsize=16,color="green",shape="box"];3108[label="yv3320",fontsize=16,color="green",shape="box"];3109[label="yv3280",fontsize=16,color="green",shape="box"];3110[label="yv3320",fontsize=16,color="green",shape="box"];3111[label="yv3280",fontsize=16,color="green",shape="box"];3112[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3113[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3114[label="yv3320",fontsize=16,color="green",shape="box"];3115[label="yv3280",fontsize=16,color="green",shape="box"];3116[label="yv3320",fontsize=16,color="green",shape="box"];3117[label="yv3280",fontsize=16,color="green",shape="box"];3118[label="yv3320",fontsize=16,color="green",shape="box"];3119[label="yv3280",fontsize=16,color="green",shape="box"];3120[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3121[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3122[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3123[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3124[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3125[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3126[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3127[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3128[label="yv3320",fontsize=16,color="green",shape="box"];3129[label="yv3280",fontsize=16,color="green",shape="box"];3130[label="yv3321",fontsize=16,color="green",shape="box"];3131[label="yv3281",fontsize=16,color="green",shape="box"];3132[label="yv3321\n  Integral a",fontsize=16,color="green",shape="box"];3133[label="yv3281\n  Integral a",fontsize=16,color="green",shape="box"];3134[label="yv3321",fontsize=16,color="green",shape="box"];3135[label="yv3281",fontsize=16,color="green",shape="box"];3136[label="yv3321",fontsize=16,color="green",shape="box"];3137[label="yv3281",fontsize=16,color="green",shape="box"];3138[label="yv3321",fontsize=16,color="green",shape="box"];3139[label="yv3281",fontsize=16,color="green",shape="box"];3140[label="yv3321\n  Eq a",fontsize=16,color="green",shape="box"];3141[label="yv3281\n  Eq a",fontsize=16,color="green",shape="box"];3142[label="yv3321",fontsize=16,color="green",shape="box"];3143[label="yv3281",fontsize=16,color="green",shape="box"];3144[label="yv3321",fontsize=16,color="green",shape="box"];3145[label="yv3281",fontsize=16,color="green",shape="box"];3146[label="yv3321",fontsize=16,color="green",shape="box"];3147[label="yv3281",fontsize=16,color="green",shape="box"];3148[label="yv3321\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3149[label="yv3281\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3150[label="yv3321\n  Eq a",fontsize=16,color="green",shape="box"];3151[label="yv3281\n  Eq a",fontsize=16,color="green",shape="box"];3152[label="yv3321\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3153[label="yv3281\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3154[label="yv3321\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3155[label="yv3281\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3156[label="yv3321",fontsize=16,color="green",shape="box"];3157[label="yv3281",fontsize=16,color="green",shape="box"];3158[label="yv3320",fontsize=16,color="green",shape="box"];3159[label="yv3280",fontsize=16,color="green",shape="box"];3160[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];3161[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];3162[label="yv3320",fontsize=16,color="green",shape="box"];3163[label="yv3280",fontsize=16,color="green",shape="box"];3164[label="yv3320",fontsize=16,color="green",shape="box"];3165[label="yv3280",fontsize=16,color="green",shape="box"];3166[label="yv3320",fontsize=16,color="green",shape="box"];3167[label="yv3280",fontsize=16,color="green",shape="box"];3168[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3169[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3170[label="yv3320",fontsize=16,color="green",shape="box"];3171[label="yv3280",fontsize=16,color="green",shape="box"];3172[label="yv3320",fontsize=16,color="green",shape="box"];3173[label="yv3280",fontsize=16,color="green",shape="box"];3174[label="yv3320",fontsize=16,color="green",shape="box"];3175[label="yv3280",fontsize=16,color="green",shape="box"];3176[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3177[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3178[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3179[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3180[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3181[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3182[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3183[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3184[label="yv3320",fontsize=16,color="green",shape="box"];3185[label="yv3280",fontsize=16,color="green",shape="box"];3186[label="yv3320",fontsize=16,color="green",shape="box"];3187[label="yv3280",fontsize=16,color="green",shape="box"];3188[label="yv3320\n  Integral a",fontsize=16,color="green",shape="box"];3189[label="yv3280\n  Integral a",fontsize=16,color="green",shape="box"];3190[label="yv3320",fontsize=16,color="green",shape="box"];3191[label="yv3280",fontsize=16,color="green",shape="box"];3192[label="yv3320",fontsize=16,color="green",shape="box"];3193[label="yv3280",fontsize=16,color="green",shape="box"];3194[label="yv3320",fontsize=16,color="green",shape="box"];3195[label="yv3280",fontsize=16,color="green",shape="box"];3196[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3197[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3198[label="yv3320",fontsize=16,color="green",shape="box"];3199[label="yv3280",fontsize=16,color="green",shape="box"];3200[label="yv3320",fontsize=16,color="green",shape="box"];3201[label="yv3280",fontsize=16,color="green",shape="box"];3202[label="yv3320",fontsize=16,color="green",shape="box"];3203[label="yv3280",fontsize=16,color="green",shape="box"];3204[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3205[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3206[label="yv3320\n  Eq a",fontsize=16,color="green",shape="box"];3207[label="yv3280\n  Eq a",fontsize=16,color="green",shape="box"];3208[label="yv3320\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3209[label="yv3280\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3210[label="yv3320\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3211[label="yv3280\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3212[label="yv3320",fontsize=16,color="green",shape="box"];3213[label="yv3280",fontsize=16,color="green",shape="box"];3214 -> 2691[label="",style="dashed", color="red", weight=0];
3214[label="yv3281 == yv3321",fontsize=16,color="magenta"];3214 -> 3262[label="",style="dashed", color="magenta", weight=3];
3214 -> 3263[label="",style="dashed", color="magenta", weight=3];
3215 -> 2692[label="",style="dashed", color="red", weight=0];
3215[label="yv3281 == yv3321\n  Integral a",fontsize=16,color="magenta"];3215 -> 3264[label="",style="dashed", color="magenta", weight=3];
3215 -> 3265[label="",style="dashed", color="magenta", weight=3];
3216 -> 2693[label="",style="dashed", color="red", weight=0];
3216[label="yv3281 == yv3321",fontsize=16,color="magenta"];3216 -> 3266[label="",style="dashed", color="magenta", weight=3];
3216 -> 3267[label="",style="dashed", color="magenta", weight=3];
3217 -> 2694[label="",style="dashed", color="red", weight=0];
3217[label="yv3281 == yv3321",fontsize=16,color="magenta"];3217 -> 3268[label="",style="dashed", color="magenta", weight=3];
3217 -> 3269[label="",style="dashed", color="magenta", weight=3];
3218 -> 2695[label="",style="dashed", color="red", weight=0];
3218[label="yv3281 == yv3321",fontsize=16,color="magenta"];3218 -> 3270[label="",style="dashed", color="magenta", weight=3];
3218 -> 3271[label="",style="dashed", color="magenta", weight=3];
3219 -> 2696[label="",style="dashed", color="red", weight=0];
3219[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];3219 -> 3272[label="",style="dashed", color="magenta", weight=3];
3219 -> 3273[label="",style="dashed", color="magenta", weight=3];
3220 -> 2697[label="",style="dashed", color="red", weight=0];
3220[label="yv3281 == yv3321",fontsize=16,color="magenta"];3220 -> 3274[label="",style="dashed", color="magenta", weight=3];
3220 -> 3275[label="",style="dashed", color="magenta", weight=3];
3221 -> 2698[label="",style="dashed", color="red", weight=0];
3221[label="yv3281 == yv3321",fontsize=16,color="magenta"];3221 -> 3276[label="",style="dashed", color="magenta", weight=3];
3221 -> 3277[label="",style="dashed", color="magenta", weight=3];
3222 -> 2699[label="",style="dashed", color="red", weight=0];
3222[label="yv3281 == yv3321",fontsize=16,color="magenta"];3222 -> 3278[label="",style="dashed", color="magenta", weight=3];
3222 -> 3279[label="",style="dashed", color="magenta", weight=3];
3223 -> 2700[label="",style="dashed", color="red", weight=0];
3223[label="yv3281 == yv3321\n  Eq a  Eq b",fontsize=16,color="magenta"];3223 -> 3280[label="",style="dashed", color="magenta", weight=3];
3223 -> 3281[label="",style="dashed", color="magenta", weight=3];
3224 -> 2701[label="",style="dashed", color="red", weight=0];
3224[label="yv3281 == yv3321\n  Eq a",fontsize=16,color="magenta"];3224 -> 3282[label="",style="dashed", color="magenta", weight=3];
3224 -> 3283[label="",style="dashed", color="magenta", weight=3];
3225 -> 2702[label="",style="dashed", color="red", weight=0];
3225[label="yv3281 == yv3321\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];3225 -> 3284[label="",style="dashed", color="magenta", weight=3];
3225 -> 3285[label="",style="dashed", color="magenta", weight=3];
3226 -> 2703[label="",style="dashed", color="red", weight=0];
3226[label="yv3281 == yv3321\n  Eq a  Eq b",fontsize=16,color="magenta"];3226 -> 3286[label="",style="dashed", color="magenta", weight=3];
3226 -> 3287[label="",style="dashed", color="magenta", weight=3];
3227 -> 2704[label="",style="dashed", color="red", weight=0];
3227[label="yv3281 == yv3321",fontsize=16,color="magenta"];3227 -> 3288[label="",style="dashed", color="magenta", weight=3];
3227 -> 3289[label="",style="dashed", color="magenta", weight=3];
3228 -> 2691[label="",style="dashed", color="red", weight=0];
3228[label="yv3282 == yv3322",fontsize=16,color="magenta"];3228 -> 3290[label="",style="dashed", color="magenta", weight=3];
3228 -> 3291[label="",style="dashed", color="magenta", weight=3];
3229 -> 2692[label="",style="dashed", color="red", weight=0];
3229[label="yv3282 == yv3322\n  Integral a",fontsize=16,color="magenta"];3229 -> 3292[label="",style="dashed", color="magenta", weight=3];
3229 -> 3293[label="",style="dashed", color="magenta", weight=3];
3230 -> 2693[label="",style="dashed", color="red", weight=0];
3230[label="yv3282 == yv3322",fontsize=16,color="magenta"];3230 -> 3294[label="",style="dashed", color="magenta", weight=3];
3230 -> 3295[label="",style="dashed", color="magenta", weight=3];
3231 -> 2694[label="",style="dashed", color="red", weight=0];
3231[label="yv3282 == yv3322",fontsize=16,color="magenta"];3231 -> 3296[label="",style="dashed", color="magenta", weight=3];
3231 -> 3297[label="",style="dashed", color="magenta", weight=3];
3232 -> 2695[label="",style="dashed", color="red", weight=0];
3232[label="yv3282 == yv3322",fontsize=16,color="magenta"];3232 -> 3298[label="",style="dashed", color="magenta", weight=3];
3232 -> 3299[label="",style="dashed", color="magenta", weight=3];
3233 -> 2696[label="",style="dashed", color="red", weight=0];
3233[label="yv3282 == yv3322\n  Eq a",fontsize=16,color="magenta"];3233 -> 3300[label="",style="dashed", color="magenta", weight=3];
3233 -> 3301[label="",style="dashed", color="magenta", weight=3];
3234 -> 2697[label="",style="dashed", color="red", weight=0];
3234[label="yv3282 == yv3322",fontsize=16,color="magenta"];3234 -> 3302[label="",style="dashed", color="magenta", weight=3];
3234 -> 3303[label="",style="dashed", color="magenta", weight=3];
3235 -> 2698[label="",style="dashed", color="red", weight=0];
3235[label="yv3282 == yv3322",fontsize=16,color="magenta"];3235 -> 3304[label="",style="dashed", color="magenta", weight=3];
3235 -> 3305[label="",style="dashed", color="magenta", weight=3];
3236 -> 2699[label="",style="dashed", color="red", weight=0];
3236[label="yv3282 == yv3322",fontsize=16,color="magenta"];3236 -> 3306[label="",style="dashed", color="magenta", weight=3];
3236 -> 3307[label="",style="dashed", color="magenta", weight=3];
3237 -> 2700[label="",style="dashed", color="red", weight=0];
3237[label="yv3282 == yv3322\n  Eq a  Eq b",fontsize=16,color="magenta"];3237 -> 3308[label="",style="dashed", color="magenta", weight=3];
3237 -> 3309[label="",style="dashed", color="magenta", weight=3];
3238 -> 2701[label="",style="dashed", color="red", weight=0];
3238[label="yv3282 == yv3322\n  Eq a",fontsize=16,color="magenta"];3238 -> 3310[label="",style="dashed", color="magenta", weight=3];
3238 -> 3311[label="",style="dashed", color="magenta", weight=3];
3239 -> 2702[label="",style="dashed", color="red", weight=0];
3239[label="yv3282 == yv3322\n  Eq a  Eq b  Eq c",fontsize=16,color="magenta"];3239 -> 3312[label="",style="dashed", color="magenta", weight=3];
3239 -> 3313[label="",style="dashed", color="magenta", weight=3];
3240 -> 2703[label="",style="dashed", color="red", weight=0];
3240[label="yv3282 == yv3322\n  Eq a  Eq b",fontsize=16,color="magenta"];3240 -> 3314[label="",style="dashed", color="magenta", weight=3];
3240 -> 3315[label="",style="dashed", color="magenta", weight=3];
3241 -> 2704[label="",style="dashed", color="red", weight=0];
3241[label="yv3282 == yv3322",fontsize=16,color="magenta"];3241 -> 3316[label="",style="dashed", color="magenta", weight=3];
3241 -> 3317[label="",style="dashed", color="magenta", weight=3];
3242 -> 2819[label="",style="dashed", color="red", weight=0];
3242[label="primEqNat yv32800 yv33200",fontsize=16,color="magenta"];3242 -> 3318[label="",style="dashed", color="magenta", weight=3];
3242 -> 3319[label="",style="dashed", color="magenta", weight=3];
3243[label="False",fontsize=16,color="green",shape="box"];3244[label="False",fontsize=16,color="green",shape="box"];3245[label="True",fontsize=16,color="green",shape="box"];3246[label="False",fontsize=16,color="green",shape="box"];3247[label="True",fontsize=16,color="green",shape="box"];3248 -> 2819[label="",style="dashed", color="red", weight=0];
3248[label="primEqNat yv32800 yv33200",fontsize=16,color="magenta"];3248 -> 3320[label="",style="dashed", color="magenta", weight=3];
3248 -> 3321[label="",style="dashed", color="magenta", weight=3];
3249[label="False",fontsize=16,color="green",shape="box"];3250[label="False",fontsize=16,color="green",shape="box"];3251[label="True",fontsize=16,color="green",shape="box"];3252[label="False",fontsize=16,color="green",shape="box"];3253[label="True",fontsize=16,color="green",shape="box"];3254[label="nubNub'0 yv341 yv342 (yv343 : yv344) True\n  Eq a",fontsize=16,color="black",shape="box"];3254 -> 3322[label="",style="solid", color="black", weight=3];
3255 -> 1648[label="",style="dashed", color="red", weight=0];
3255[label="nubNub'1 yv3420 yv3421 (yv343 : yv344) (any . (==))\n  Eq a",fontsize=16,color="magenta"];3255 -> 3323[label="",style="dashed", color="magenta", weight=3];
3255 -> 3324[label="",style="dashed", color="magenta", weight=3];
3255 -> 3325[label="",style="dashed", color="magenta", weight=3];
3255 -> 3326[label="",style="dashed", color="magenta", weight=3];
3256[label="primMulInt (Pos yv32810) yv3321",fontsize=16,color="burlywood",shape="box"];3771[label="yv3321/Pos yv33210",fontsize=10,color="white",style="solid",shape="box"];3256 -> 3771[label="",style="solid", color="burlywood", weight=9];
3771 -> 3327[label="",style="solid", color="burlywood", weight=3];
3772[label="yv3321/Neg yv33210",fontsize=10,color="white",style="solid",shape="box"];3256 -> 3772[label="",style="solid", color="burlywood", weight=9];
3772 -> 3328[label="",style="solid", color="burlywood", weight=3];
3257[label="primMulInt (Neg yv32810) yv3321",fontsize=16,color="burlywood",shape="box"];3773[label="yv3321/Pos yv33210",fontsize=10,color="white",style="solid",shape="box"];3257 -> 3773[label="",style="solid", color="burlywood", weight=9];
3773 -> 3329[label="",style="solid", color="burlywood", weight=3];
3774[label="yv3321/Neg yv33210",fontsize=10,color="white",style="solid",shape="box"];3257 -> 3774[label="",style="solid", color="burlywood", weight=9];
3774 -> 3330[label="",style="solid", color="burlywood", weight=3];
3258 -> 2819[label="",style="dashed", color="red", weight=0];
3258[label="primEqNat yv32800 yv33200",fontsize=16,color="magenta"];3258 -> 3331[label="",style="dashed", color="magenta", weight=3];
3258 -> 3332[label="",style="dashed", color="magenta", weight=3];
3259[label="False",fontsize=16,color="green",shape="box"];3260[label="False",fontsize=16,color="green",shape="box"];3261[label="True",fontsize=16,color="green",shape="box"];3262[label="yv3321",fontsize=16,color="green",shape="box"];3263[label="yv3281",fontsize=16,color="green",shape="box"];3264[label="yv3321\n  Integral a",fontsize=16,color="green",shape="box"];3265[label="yv3281\n  Integral a",fontsize=16,color="green",shape="box"];3266[label="yv3321",fontsize=16,color="green",shape="box"];3267[label="yv3281",fontsize=16,color="green",shape="box"];3268[label="yv3321",fontsize=16,color="green",shape="box"];3269[label="yv3281",fontsize=16,color="green",shape="box"];3270[label="yv3321",fontsize=16,color="green",shape="box"];3271[label="yv3281",fontsize=16,color="green",shape="box"];3272[label="yv3321\n  Eq a",fontsize=16,color="green",shape="box"];3273[label="yv3281\n  Eq a",fontsize=16,color="green",shape="box"];3274[label="yv3321",fontsize=16,color="green",shape="box"];3275[label="yv3281",fontsize=16,color="green",shape="box"];3276[label="yv3321",fontsize=16,color="green",shape="box"];3277[label="yv3281",fontsize=16,color="green",shape="box"];3278[label="yv3321",fontsize=16,color="green",shape="box"];3279[label="yv3281",fontsize=16,color="green",shape="box"];3280[label="yv3321\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3281[label="yv3281\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3282[label="yv3321\n  Eq a",fontsize=16,color="green",shape="box"];3283[label="yv3281\n  Eq a",fontsize=16,color="green",shape="box"];3284[label="yv3321\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3285[label="yv3281\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3286[label="yv3321\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3287[label="yv3281\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3288[label="yv3321",fontsize=16,color="green",shape="box"];3289[label="yv3281",fontsize=16,color="green",shape="box"];3290[label="yv3322",fontsize=16,color="green",shape="box"];3291[label="yv3282",fontsize=16,color="green",shape="box"];3292[label="yv3322\n  Integral a",fontsize=16,color="green",shape="box"];3293[label="yv3282\n  Integral a",fontsize=16,color="green",shape="box"];3294[label="yv3322",fontsize=16,color="green",shape="box"];3295[label="yv3282",fontsize=16,color="green",shape="box"];3296[label="yv3322",fontsize=16,color="green",shape="box"];3297[label="yv3282",fontsize=16,color="green",shape="box"];3298[label="yv3322",fontsize=16,color="green",shape="box"];3299[label="yv3282",fontsize=16,color="green",shape="box"];3300[label="yv3322\n  Eq a",fontsize=16,color="green",shape="box"];3301[label="yv3282\n  Eq a",fontsize=16,color="green",shape="box"];3302[label="yv3322",fontsize=16,color="green",shape="box"];3303[label="yv3282",fontsize=16,color="green",shape="box"];3304[label="yv3322",fontsize=16,color="green",shape="box"];3305[label="yv3282",fontsize=16,color="green",shape="box"];3306[label="yv3322",fontsize=16,color="green",shape="box"];3307[label="yv3282",fontsize=16,color="green",shape="box"];3308[label="yv3322\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3309[label="yv3282\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3310[label="yv3322\n  Eq a",fontsize=16,color="green",shape="box"];3311[label="yv3282\n  Eq a",fontsize=16,color="green",shape="box"];3312[label="yv3322\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3313[label="yv3282\n  Eq a  Eq b  Eq c",fontsize=16,color="green",shape="box"];3314[label="yv3322\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3315[label="yv3282\n  Eq a  Eq b",fontsize=16,color="green",shape="box"];3316[label="yv3322",fontsize=16,color="green",shape="box"];3317[label="yv3282",fontsize=16,color="green",shape="box"];3318[label="yv33200",fontsize=16,color="green",shape="box"];3319[label="yv32800",fontsize=16,color="green",shape="box"];3320[label="yv33200",fontsize=16,color="green",shape="box"];3321[label="yv32800",fontsize=16,color="green",shape="box"];3322[label="yv341 : nubNub' yv342 (yv341 : yv343 : yv344)\n  Eq a",fontsize=16,color="green",shape="box"];3322 -> 3333[label="",style="dashed", color="green", weight=3];
3323[label="yv343\n  Eq a",fontsize=16,color="green",shape="box"];3324[label="yv3420\n  Eq a",fontsize=16,color="green",shape="box"];3325[label="yv344\n  Eq a",fontsize=16,color="green",shape="box"];3326[label="yv3421\n  Eq a",fontsize=16,color="green",shape="box"];3327[label="primMulInt (Pos yv32810) (Pos yv33210)",fontsize=16,color="black",shape="box"];3327 -> 3334[label="",style="solid", color="black", weight=3];
3328[label="primMulInt (Pos yv32810) (Neg yv33210)",fontsize=16,color="black",shape="box"];3328 -> 3335[label="",style="solid", color="black", weight=3];
3329[label="primMulInt (Neg yv32810) (Pos yv33210)",fontsize=16,color="black",shape="box"];3329 -> 3336[label="",style="solid", color="black", weight=3];
3330[label="primMulInt (Neg yv32810) (Neg yv33210)",fontsize=16,color="black",shape="box"];3330 -> 3337[label="",style="solid", color="black", weight=3];
3331[label="yv33200",fontsize=16,color="green",shape="box"];3332[label="yv32800",fontsize=16,color="green",shape="box"];3333 -> 2766[label="",style="dashed", color="red", weight=0];
3333[label="nubNub' yv342 (yv341 : yv343 : yv344)\n  Eq a",fontsize=16,color="magenta"];3333 -> 3338[label="",style="dashed", color="magenta", weight=3];
3333 -> 3339[label="",style="dashed", color="magenta", weight=3];
3334[label="Pos (primMulNat yv32810 yv33210)",fontsize=16,color="green",shape="box"];3334 -> 3340[label="",style="dashed", color="green", weight=3];
3335[label="Neg (primMulNat yv32810 yv33210)",fontsize=16,color="green",shape="box"];3335 -> 3341[label="",style="dashed", color="green", weight=3];
3336[label="Neg (primMulNat yv32810 yv33210)",fontsize=16,color="green",shape="box"];3336 -> 3342[label="",style="dashed", color="green", weight=3];
3337[label="Pos (primMulNat yv32810 yv33210)",fontsize=16,color="green",shape="box"];3337 -> 3343[label="",style="dashed", color="green", weight=3];
3338[label="yv343 : yv344\n  Eq a",fontsize=16,color="green",shape="box"];3339[label="yv341\n  Eq a",fontsize=16,color="green",shape="box"];3340[label="primMulNat yv32810 yv33210",fontsize=16,color="burlywood",shape="triangle"];3777[label="yv32810/Succ yv328100",fontsize=10,color="white",style="solid",shape="box"];3340 -> 3777[label="",style="solid", color="burlywood", weight=9];
3777 -> 3344[label="",style="solid", color="burlywood", weight=3];
3778[label="yv32810/Zero",fontsize=10,color="white",style="solid",shape="box"];3340 -> 3778[label="",style="solid", color="burlywood", weight=9];
3778 -> 3345[label="",style="solid", color="burlywood", weight=3];
3341 -> 3340[label="",style="dashed", color="red", weight=0];
3341[label="primMulNat yv32810 yv33210",fontsize=16,color="magenta"];3341 -> 3346[label="",style="dashed", color="magenta", weight=3];
3342 -> 3340[label="",style="dashed", color="red", weight=0];
3342[label="primMulNat yv32810 yv33210",fontsize=16,color="magenta"];3342 -> 3347[label="",style="dashed", color="magenta", weight=3];
3343 -> 3340[label="",style="dashed", color="red", weight=0];
3343[label="primMulNat yv32810 yv33210",fontsize=16,color="magenta"];3343 -> 3348[label="",style="dashed", color="magenta", weight=3];
3343 -> 3349[label="",style="dashed", color="magenta", weight=3];
3344[label="primMulNat (Succ yv328100) yv33210",fontsize=16,color="burlywood",shape="box"];3782[label="yv33210/Succ yv332100",fontsize=10,color="white",style="solid",shape="box"];3344 -> 3782[label="",style="solid", color="burlywood", weight=9];
3782 -> 3350[label="",style="solid", color="burlywood", weight=3];
3783[label="yv33210/Zero",fontsize=10,color="white",style="solid",shape="box"];3344 -> 3783[label="",style="solid", color="burlywood", weight=9];
3783 -> 3351[label="",style="solid", color="burlywood", weight=3];
3345[label="primMulNat Zero yv33210",fontsize=16,color="burlywood",shape="box"];3784[label="yv33210/Succ yv332100",fontsize=10,color="white",style="solid",shape="box"];3345 -> 3784[label="",style="solid", color="burlywood", weight=9];
3784 -> 3352[label="",style="solid", color="burlywood", weight=3];
3785[label="yv33210/Zero",fontsize=10,color="white",style="solid",shape="box"];3345 -> 3785[label="",style="solid", color="burlywood", weight=9];
3785 -> 3353[label="",style="solid", color="burlywood", weight=3];
3346[label="yv33210",fontsize=16,color="green",shape="box"];3347[label="yv32810",fontsize=16,color="green",shape="box"];3348[label="yv32810",fontsize=16,color="green",shape="box"];3349[label="yv33210",fontsize=16,color="green",shape="box"];3350[label="primMulNat (Succ yv328100) (Succ yv332100)",fontsize=16,color="black",shape="box"];3350 -> 3354[label="",style="solid", color="black", weight=3];
3351[label="primMulNat (Succ yv328100) Zero",fontsize=16,color="black",shape="box"];3351 -> 3355[label="",style="solid", color="black", weight=3];
3352[label="primMulNat Zero (Succ yv332100)",fontsize=16,color="black",shape="box"];3352 -> 3356[label="",style="solid", color="black", weight=3];
3353[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];3353 -> 3357[label="",style="solid", color="black", weight=3];
3354 -> 3358[label="",style="dashed", color="red", weight=0];
3354[label="primPlusNat (primMulNat yv328100 (Succ yv332100)) (Succ yv332100)",fontsize=16,color="magenta"];3354 -> 3359[label="",style="dashed", color="magenta", weight=3];
3355[label="Zero",fontsize=16,color="green",shape="box"];3356[label="Zero",fontsize=16,color="green",shape="box"];3357[label="Zero",fontsize=16,color="green",shape="box"];3359 -> 3340[label="",style="dashed", color="red", weight=0];
3359[label="primMulNat yv328100 (Succ yv332100)",fontsize=16,color="magenta"];3359 -> 3360[label="",style="dashed", color="magenta", weight=3];
3359 -> 3361[label="",style="dashed", color="magenta", weight=3];
3358[label="primPlusNat yv360 (Succ yv332100)",fontsize=16,color="burlywood",shape="triangle"];3788[label="yv360/Succ yv3600",fontsize=10,color="white",style="solid",shape="box"];3358 -> 3788[label="",style="solid", color="burlywood", weight=9];
3788 -> 3362[label="",style="solid", color="burlywood", weight=3];
3789[label="yv360/Zero",fontsize=10,color="white",style="solid",shape="box"];3358 -> 3789[label="",style="solid", color="burlywood", weight=9];
3789 -> 3363[label="",style="solid", color="burlywood", weight=3];
3360[label="yv328100",fontsize=16,color="green",shape="box"];3361[label="Succ yv332100",fontsize=16,color="green",shape="box"];3362[label="primPlusNat (Succ yv3600) (Succ yv332100)",fontsize=16,color="black",shape="box"];3362 -> 3364[label="",style="solid", color="black", weight=3];
3363[label="primPlusNat Zero (Succ yv332100)",fontsize=16,color="black",shape="box"];3363 -> 3365[label="",style="solid", color="black", weight=3];
3364[label="Succ (Succ (primPlusNat yv3600 yv332100))",fontsize=16,color="green",shape="box"];3364 -> 3366[label="",style="dashed", color="green", weight=3];
3365[label="Succ yv332100",fontsize=16,color="green",shape="box"];3366[label="primPlusNat yv3600 yv332100",fontsize=16,color="burlywood",shape="triangle"];3790[label="yv3600/Succ yv36000",fontsize=10,color="white",style="solid",shape="box"];3366 -> 3790[label="",style="solid", color="burlywood", weight=9];
3790 -> 3367[label="",style="solid", color="burlywood", weight=3];
3791[label="yv3600/Zero",fontsize=10,color="white",style="solid",shape="box"];3366 -> 3791[label="",style="solid", color="burlywood", weight=9];
3791 -> 3368[label="",style="solid", color="burlywood", weight=3];
3367[label="primPlusNat (Succ yv36000) yv332100",fontsize=16,color="burlywood",shape="box"];3792[label="yv332100/Succ yv3321000",fontsize=10,color="white",style="solid",shape="box"];3367 -> 3792[label="",style="solid", color="burlywood", weight=9];
3792 -> 3369[label="",style="solid", color="burlywood", weight=3];
3793[label="yv332100/Zero",fontsize=10,color="white",style="solid",shape="box"];3367 -> 3793[label="",style="solid", color="burlywood", weight=9];
3793 -> 3370[label="",style="solid", color="burlywood", weight=3];
3368[label="primPlusNat Zero yv332100",fontsize=16,color="burlywood",shape="box"];3794[label="yv332100/Succ yv3321000",fontsize=10,color="white",style="solid",shape="box"];3368 -> 3794[label="",style="solid", color="burlywood", weight=9];
3794 -> 3371[label="",style="solid", color="burlywood", weight=3];
3795[label="yv332100/Zero",fontsize=10,color="white",style="solid",shape="box"];3368 -> 3795[label="",style="solid", color="burlywood", weight=9];
3795 -> 3372[label="",style="solid", color="burlywood", weight=3];
3369[label="primPlusNat (Succ yv36000) (Succ yv3321000)",fontsize=16,color="black",shape="box"];3369 -> 3373[label="",style="solid", color="black", weight=3];
3370[label="primPlusNat (Succ yv36000) Zero",fontsize=16,color="black",shape="box"];3370 -> 3374[label="",style="solid", color="black", weight=3];
3371[label="primPlusNat Zero (Succ yv3321000)",fontsize=16,color="black",shape="box"];3371 -> 3375[label="",style="solid", color="black", weight=3];
3372[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];3372 -> 3376[label="",style="solid", color="black", weight=3];
3373[label="Succ (Succ (primPlusNat yv36000 yv3321000))",fontsize=16,color="green",shape="box"];3373 -> 3377[label="",style="dashed", color="green", weight=3];
3374[label="Succ yv36000",fontsize=16,color="green",shape="box"];3375[label="Succ yv3321000",fontsize=16,color="green",shape="box"];3376[label="Zero",fontsize=16,color="green",shape="box"];3377 -> 3366[label="",style="dashed", color="red", weight=0];
3377[label="primPlusNat yv36000 yv3321000",fontsize=16,color="magenta"];3377 -> 3378[label="",style="dashed", color="magenta", weight=3];
3377 -> 3379[label="",style="dashed", color="magenta", weight=3];
3378[label="yv3321000",fontsize=16,color="green",shape="box"];3379[label="yv36000",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(yv36000), Succ(yv3321000)) → new_primPlusNat(yv36000, yv3321000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(yv36000), Succ(yv3321000)) → new_primPlusNat(yv36000, yv3321000)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(yv328100), Succ(yv332100)) → new_primMulNat(yv328100, Succ(yv332100))

From the DPs we obtained the following set of size-change graphs:

new_primMulNat(Succ(yv328100), Succ(yv332100)) → new_primMulNat(yv328100, Succ(yv332100))
The graph contains the following edges 1 > 1, 2 >= 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(yv32800), Succ(yv33200)) → new_primEqNat(yv32800, yv33200)

From the DPs we obtained the following set of size-change graphs:

new_primEqNat(Succ(yv32800), Succ(yv33200)) → new_primEqNat(yv32800, yv33200)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(app(ty_@3, cg), da), db), cc) → new_esEs2(yv3280, yv3320, cg, da, db)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(app(ty_@3, gh), ha), hb), gc, gd) → new_esEs2(yv3280, yv3320, gh, ha, hb)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(ty_@2, hg), hh), gd) → new_esEs0(yv3281, yv3321, hg, hh)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(app(ty_@3, eb), ec), ed)) → new_esEs2(yv3281, yv3321, eb, ec, ed)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(ty_Either, dc), dd), cc) → new_esEs3(yv3280, yv3320, dc, dd)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(ty_Either, bae), baf), gd) → new_esEs3(yv3281, yv3321, bae, baf)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(ty_@2, bah), bba)) → new_esEs0(yv3282, yv3322, bah, bba)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(ty_Maybe, hf), gd) → new_esEs(yv3281, yv3321, hf)
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(ty_Either, beb), bec)) → new_esEs3(yv3280, yv3320, beb, bec)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), ga) → new_esEs1(yv3281, yv3321, ga)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(ty_@2, ge), gf), gc, gd) → new_esEs0(yv3280, yv3320, ge, gf)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(ty_[], baa), gd) → new_esEs1(yv3281, yv3321, baa)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(ty_[], cf), cc) → new_esEs1(yv3280, yv3320, cf)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(ty_Maybe, bag)) → new_esEs(yv3282, yv3322, bag)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(ty_[], fb)) → new_esEs1(yv3280, yv3320, fb)
new_esEs(Just(yv3280), Just(yv3320), app(app(app(ty_@3, be), bf), bg)) → new_esEs2(yv3280, yv3320, be, bf, bg)
new_esEs(Just(yv3280), Just(yv3320), app(ty_Maybe, ba)) → new_esEs(yv3280, yv3320, ba)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(ty_Either, ee), ef)) → new_esEs3(yv3281, yv3321, ee, ef)
new_esEs3(Left(yv3280), Left(yv3320), app(app(ty_Either, bch), bda), bca) → new_esEs3(yv3280, yv3320, bch, bda)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(ty_Either, fg), fh)) → new_esEs3(yv3280, yv3320, fg, fh)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(ty_Maybe, gb), gc, gd) → new_esEs(yv3280, yv3320, gb)
new_esEs(Just(yv3280), Just(yv3320), app(app(ty_@2, bb), bc)) → new_esEs0(yv3280, yv3320, bb, bc)
new_esEs3(Left(yv3280), Left(yv3320), app(app(ty_@2, bcb), bcc), bca) → new_esEs0(yv3280, yv3320, bcb, bcc)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(ty_Maybe, eg)) → new_esEs(yv3280, yv3320, eg)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(ty_Either, hc), hd), gc, gd) → new_esEs3(yv3280, yv3320, hc, hd)
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(ty_@2, bdd), bde)) → new_esEs0(yv3280, yv3320, bdd, bde)
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(ty_[], bdf)) → new_esEs1(yv3280, yv3320, bdf)
new_esEs(Just(yv3280), Just(yv3320), app(ty_[], bd)) → new_esEs1(yv3280, yv3320, bd)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(app(ty_@3, bab), bac), bad), gd) → new_esEs2(yv3281, yv3321, bab, bac, bad)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(ty_Maybe, cb), cc) → new_esEs(yv3280, yv3320, cb)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(ty_Maybe, df)) → new_esEs(yv3281, yv3321, df)
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(app(ty_@3, bdg), bdh), bea)) → new_esEs2(yv3280, yv3320, bdg, bdh, bea)
new_esEs(Just(yv3280), Just(yv3320), app(app(ty_Either, bh), ca)) → new_esEs3(yv3280, yv3320, bh, ca)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(ty_@2, cd), ce), cc) → new_esEs0(yv3280, yv3320, cd, ce)
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(ty_Maybe, bdc)) → new_esEs(yv3280, yv3320, bdc)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(ty_[], bbb)) → new_esEs1(yv3282, yv3322, bbb)
new_esEs3(Left(yv3280), Left(yv3320), app(app(app(ty_@3, bce), bcf), bcg), bca) → new_esEs2(yv3280, yv3320, bce, bcf, bcg)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(ty_[], ea)) → new_esEs1(yv3281, yv3321, ea)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(ty_Either, bbf), bbg)) → new_esEs3(yv3282, yv3322, bbf, bbg)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(ty_[], gg), gc, gd) → new_esEs1(yv3280, yv3320, gg)
new_esEs3(Left(yv3280), Left(yv3320), app(ty_[], bcd), bca) → new_esEs1(yv3280, yv3320, bcd)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(app(ty_@3, fc), fd), ff)) → new_esEs2(yv3280, yv3320, fc, fd, ff)
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(ty_@2, dg), dh)) → new_esEs0(yv3281, yv3321, dg, dh)
new_esEs3(Left(yv3280), Left(yv3320), app(ty_Maybe, bbh), bca) → new_esEs(yv3280, yv3320, bbh)
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(ty_@2, eh), fa)) → new_esEs0(yv3280, yv3320, eh, fa)
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(app(ty_@3, bbc), bbd), bbe)) → new_esEs2(yv3282, yv3322, bbc, bbd, bbe)

From the DPs we obtained the following set of size-change graphs:

new_esEs(Just(yv3280), Just(yv3320), app(app(ty_@2, bb), bc)) → new_esEs0(yv3280, yv3320, bb, bc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(ty_@2, eh), fa)) → new_esEs0(yv3280, yv3320, eh, fa)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(yv3280), Just(yv3320), app(app(app(ty_@3, be), bf), bg)) → new_esEs2(yv3280, yv3320, be, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(app(ty_@3, fc), fd), ff)) → new_esEs2(yv3280, yv3320, fc, fd, ff)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs(Just(yv3280), Just(yv3320), app(app(ty_Either, bh), ca)) → new_esEs3(yv3280, yv3320, bh, ca)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(app(ty_Either, fg), fh)) → new_esEs3(yv3280, yv3320, fg, fh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs(Just(yv3280), Just(yv3320), app(ty_[], bd)) → new_esEs1(yv3280, yv3320, bd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs(Just(yv3280), Just(yv3320), app(ty_Maybe, ba)) → new_esEs(yv3280, yv3320, ba)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(ty_Maybe, eg)) → new_esEs(yv3280, yv3320, eg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(ty_@2, hg), hh), gd) → new_esEs0(yv3281, yv3321, hg, hh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(ty_@2, bah), bba)) → new_esEs0(yv3282, yv3322, bah, bba)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(ty_@2, ge), gf), gc, gd) → new_esEs0(yv3280, yv3320, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(app(ty_@3, gh), ha), hb), gc, gd) → new_esEs2(yv3280, yv3320, gh, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(app(ty_@3, bab), bac), bad), gd) → new_esEs2(yv3281, yv3321, bab, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(app(ty_@3, bbc), bbd), bbe)) → new_esEs2(yv3282, yv3322, bbc, bbd, bbe)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(app(ty_Either, bae), baf), gd) → new_esEs3(yv3281, yv3321, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(app(ty_Either, hc), hd), gc, gd) → new_esEs3(yv3280, yv3320, hc, hd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(app(ty_Either, bbf), bbg)) → new_esEs3(yv3282, yv3322, bbf, bbg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(ty_[], baa), gd) → new_esEs1(yv3281, yv3321, baa)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(ty_[], bbb)) → new_esEs1(yv3282, yv3322, bbb)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(ty_[], gg), gc, gd) → new_esEs1(yv3280, yv3320, gg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, app(ty_Maybe, hf), gd) → new_esEs(yv3281, yv3321, hf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), he, gc, app(ty_Maybe, bag)) → new_esEs(yv3282, yv3322, bag)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3
new_esEs2(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), app(ty_Maybe, gb), gc, gd) → new_esEs(yv3280, yv3320, gb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(ty_@2, cd), ce), cc) → new_esEs0(yv3280, yv3320, cd, ce)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(ty_@2, dg), dh)) → new_esEs0(yv3281, yv3321, dg, dh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs3(Left(yv3280), Left(yv3320), app(app(ty_@2, bcb), bcc), bca) → new_esEs0(yv3280, yv3320, bcb, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(ty_@2, bdd), bde)) → new_esEs0(yv3280, yv3320, bdd, bde)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(app(ty_@3, cg), da), db), cc) → new_esEs2(yv3280, yv3320, cg, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(app(ty_@3, eb), ec), ed)) → new_esEs2(yv3281, yv3321, eb, ec, ed)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(app(ty_@3, bdg), bdh), bea)) → new_esEs2(yv3280, yv3320, bdg, bdh, bea)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5
new_esEs3(Left(yv3280), Left(yv3320), app(app(app(ty_@3, bce), bcf), bcg), bca) → new_esEs2(yv3280, yv3320, bce, bcf, bcg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(app(ty_Either, dc), dd), cc) → new_esEs3(yv3280, yv3320, dc, dd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(app(ty_Either, ee), ef)) → new_esEs3(yv3281, yv3321, ee, ef)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(ty_[], cf), cc) → new_esEs1(yv3280, yv3320, cf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(ty_[], ea)) → new_esEs1(yv3281, yv3321, ea)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), app(ty_Maybe, cb), cc) → new_esEs(yv3280, yv3320, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs0(@2(yv3280, yv3281), @2(yv3320, yv3321), de, app(ty_Maybe, df)) → new_esEs(yv3281, yv3321, df)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(app(ty_Either, beb), bec)) → new_esEs3(yv3280, yv3320, beb, bec)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4
new_esEs3(Left(yv3280), Left(yv3320), app(app(ty_Either, bch), bda), bca) → new_esEs3(yv3280, yv3320, bch, bda)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(ty_[], bdf)) → new_esEs1(yv3280, yv3320, bdf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs3(Left(yv3280), Left(yv3320), app(ty_[], bcd), bca) → new_esEs1(yv3280, yv3320, bcd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs3(Right(yv3280), Right(yv3320), bdb, app(ty_Maybe, bdc)) → new_esEs(yv3280, yv3320, bdc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3
new_esEs3(Left(yv3280), Left(yv3320), app(ty_Maybe, bbh), bca) → new_esEs(yv3280, yv3320, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), ga) → new_esEs1(yv3281, yv3321, ga)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3
new_esEs1(:(yv3280, yv3281), :(yv3320, yv3321), app(ty_[], fb)) → new_esEs1(yv3280, yv3320, fb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_nubNub'1(yv328, yv329, yv330, yv331, yv332, yv333, ba) → new_nubNub'10(yv328, yv329, yv330, yv331, new_esEs4(yv328, yv332, ba), yv333, ba)
new_nubNub'10(yv341, yv342, yv343, yv344, False, :(yv3460, yv3461), bb) → new_nubNub'1(yv341, yv342, yv343, yv344, yv3460, yv3461, bb)
new_nubNub'10(yv341, yv342, yv343, yv344, False, [], bb) → new_nubNub'(yv342, yv341, :(yv343, yv344), bb)
new_nubNub'10(yv341, :(yv3420, yv3421), yv343, yv344, True, yv346, bb) → new_nubNub'11(yv3420, yv3421, yv343, yv344, bb)
new_nubNub'(:(yv3420, yv3421), yv343, yv344, bb) → new_nubNub'11(yv3420, yv3421, yv343, yv344, bb)
new_nubNub'11(yv234, yv235, yv236, yv237, bc) → new_nubNub'1(yv234, yv235, yv236, yv237, yv236, yv237, bc)

The TRS R consists of the following rules:

new_esEs23(yv3281, yv3321, ty_Integer) → new_esEs13(yv3281, yv3321)
new_esEs25(yv3280, yv3320, app(app(app(ty_@3, bbg), bbh), bca)) → new_esEs16(yv3280, yv3320, bbg, bbh, bca)
new_primEqInt(Pos(Succ(yv32800)), Neg(yv3320)) → False
new_primEqInt(Neg(Succ(yv32800)), Pos(yv3320)) → False
new_esEs4(yv328, yv332, ty_@0) → new_esEs6(yv328, yv332)
new_esEs21(yv3280, yv3320, ty_Ordering) → new_esEs12(yv3280, yv3320)
new_esEs20(yv3281, yv3321, ty_Integer) → new_esEs13(yv3281, yv3321)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Double) → new_esEs10(yv3280, yv3320)
new_esEs24(yv3282, yv3322, ty_Char) → new_esEs9(yv3282, yv3322)
new_primEqInt(Pos(Zero), Neg(Succ(yv33200))) → False
new_primEqInt(Neg(Zero), Pos(Succ(yv33200))) → False
new_esEs24(yv3282, yv3322, ty_Ordering) → new_esEs12(yv3282, yv3322)
new_esEs4(yv328, yv332, ty_Int) → new_esEs18(yv328, yv332)
new_esEs5(Just(yv3280), Just(yv3320), ty_Float) → new_esEs8(yv3280, yv3320)
new_esEs5(Just(yv3280), Just(yv3320), app(ty_[], ca)) → new_esEs15(yv3280, yv3320, ca)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Ordering) → new_esEs12(yv3280, yv3320)
new_esEs23(yv3281, yv3321, ty_Int) → new_esEs18(yv3281, yv3321)
new_esEs23(yv3281, yv3321, ty_Bool) → new_esEs11(yv3281, yv3321)
new_esEs25(yv3280, yv3320, app(app(ty_@2, bbd), bbe)) → new_esEs14(yv3280, yv3320, bbd, bbe)
new_primMulNat0(Zero, Zero) → Zero
new_esEs24(yv3282, yv3322, ty_Integer) → new_esEs13(yv3282, yv3322)
new_esEs17(Right(yv3280), Left(yv3320), fa, fb) → False
new_esEs17(Left(yv3280), Right(yv3320), fa, fb) → False
new_esEs17(Left(yv3280), Left(yv3320), ty_Float, fb) → new_esEs8(yv3280, yv3320)
new_esEs21(yv3280, yv3320, ty_Double) → new_esEs10(yv3280, yv3320)
new_esEs26(yv3281, yv3321, app(ty_Ratio, bcd)) → new_esEs7(yv3281, yv3321, bcd)
new_esEs22(yv3280, yv3320, ty_Char) → new_esEs9(yv3280, yv3320)
new_esEs12(GT, EQ) → False
new_esEs12(EQ, GT) → False
new_esEs4(yv328, yv332, ty_Ordering) → new_esEs12(yv328, yv332)
new_esEs21(yv3280, yv3320, app(ty_[], df)) → new_esEs15(yv3280, yv3320, df)
new_esEs4(yv328, yv332, app(ty_[], da)) → new_esEs15(yv328, yv332, da)
new_esEs24(yv3282, yv3322, ty_@0) → new_esEs6(yv3282, yv3322)
new_esEs21(yv3280, yv3320, ty_Integer) → new_esEs13(yv3280, yv3320)
new_esEs24(yv3282, yv3322, app(ty_Ratio, hh)) → new_esEs7(yv3282, yv3322, hh)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Char) → new_esEs9(yv3280, yv3320)
new_esEs26(yv3281, yv3321, ty_Int) → new_esEs18(yv3281, yv3321)
new_sr(Pos(yv32810), Neg(yv33210)) → Neg(new_primMulNat0(yv32810, yv33210))
new_sr(Neg(yv32810), Pos(yv33210)) → Neg(new_primMulNat0(yv32810, yv33210))
new_esEs17(Left(yv3280), Left(yv3320), ty_Char, fb) → new_esEs9(yv3280, yv3320)
new_esEs19(yv3280, yv3320, ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs12(GT, LT) → False
new_esEs12(LT, GT) → False
new_esEs21(yv3280, yv3320, ty_@0) → new_esEs6(yv3280, yv3320)
new_esEs24(yv3282, yv3322, app(ty_Maybe, baa)) → new_esEs5(yv3282, yv3322, baa)
new_esEs23(yv3281, yv3321, ty_@0) → new_esEs6(yv3281, yv3321)
new_esEs20(yv3281, yv3321, ty_Int) → new_esEs18(yv3281, yv3321)
new_esEs22(yv3280, yv3320, ty_Bool) → new_esEs11(yv3280, yv3320)
new_esEs4(yv328, yv332, ty_Bool) → new_esEs11(yv328, yv332)
new_esEs5(Just(yv3280), Just(yv3320), app(ty_Maybe, bf)) → new_esEs5(yv3280, yv3320, bf)
new_esEs4(yv328, yv332, app(app(app(ty_@3, ef), eg), eh)) → new_esEs16(yv328, yv332, ef, eg, eh)
new_esEs15(:(yv3280, yv3281), :(yv3320, yv3321), da) → new_asAs(new_esEs21(yv3280, yv3320, da), new_esEs15(yv3281, yv3321, da))
new_esEs5(Just(yv3280), Just(yv3320), ty_Char) → new_esEs9(yv3280, yv3320)
new_esEs4(yv328, yv332, ty_Integer) → new_esEs13(yv328, yv332)
new_esEs17(Left(yv3280), Left(yv3320), ty_Ordering, fb) → new_esEs12(yv3280, yv3320)
new_primEqNat0(Zero, Succ(yv33200)) → False
new_primEqNat0(Succ(yv32800), Zero) → False
new_primPlusNat0(Zero, Zero) → Zero
new_esEs17(Left(yv3280), Left(yv3320), app(app(ty_@2, bdh), bea), fb) → new_esEs14(yv3280, yv3320, bdh, bea)
new_esEs22(yv3280, yv3320, app(app(ty_@2, ff), fg)) → new_esEs14(yv3280, yv3320, ff, fg)
new_esEs22(yv3280, yv3320, ty_Ordering) → new_esEs12(yv3280, yv3320)
new_esEs24(yv3282, yv3322, ty_Double) → new_esEs10(yv3282, yv3322)
new_esEs5(Just(yv3280), Just(yv3320), app(ty_Ratio, be)) → new_esEs7(yv3280, yv3320, be)
new_esEs23(yv3281, yv3321, app(app(app(ty_@3, hc), hd), he)) → new_esEs16(yv3281, yv3321, hc, hd, he)
new_primEqInt(Pos(Zero), Pos(Zero)) → True
new_esEs24(yv3282, yv3322, app(app(app(ty_@3, bae), baf), bag)) → new_esEs16(yv3282, yv3322, bae, baf, bag)
new_esEs21(yv3280, yv3320, app(app(ty_@2, dd), de)) → new_esEs14(yv3280, yv3320, dd, de)
new_esEs5(Just(yv3280), Just(yv3320), ty_@0) → new_esEs6(yv3280, yv3320)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs25(yv3280, yv3320, ty_Float) → new_esEs8(yv3280, yv3320)
new_esEs21(yv3280, yv3320, app(app(ty_Either, eb), ec)) → new_esEs17(yv3280, yv3320, eb, ec)
new_esEs17(Left(yv3280), Left(yv3320), app(app(ty_Either, bef), beg), fb) → new_esEs17(yv3280, yv3320, bef, beg)
new_esEs26(yv3281, yv3321, app(ty_Maybe, bce)) → new_esEs5(yv3281, yv3321, bce)
new_esEs4(yv328, yv332, app(ty_Maybe, bd)) → new_esEs5(yv328, yv332, bd)
new_primPlusNat1(Succ(yv3600), yv332100) → Succ(Succ(new_primPlusNat0(yv3600, yv332100)))
new_esEs24(yv3282, yv3322, app(app(ty_@2, bab), bac)) → new_esEs14(yv3282, yv3322, bab, bac)
new_esEs21(yv3280, yv3320, app(app(app(ty_@3, dg), dh), ea)) → new_esEs16(yv3280, yv3320, dg, dh, ea)
new_esEs17(Right(yv3280), Right(yv3320), fa, app(app(app(ty_@3, bfe), bff), bfg)) → new_esEs16(yv3280, yv3320, bfe, bff, bfg)
new_esEs4(yv328, yv332, ty_Char) → new_esEs9(yv328, yv332)
new_esEs16(@3(yv3280, yv3281, yv3282), @3(yv3320, yv3321, yv3322), ef, eg, eh) → new_asAs(new_esEs22(yv3280, yv3320, ef), new_asAs(new_esEs23(yv3281, yv3321, eg), new_esEs24(yv3282, yv3322, eh)))
new_esEs22(yv3280, yv3320, app(ty_[], fh)) → new_esEs15(yv3280, yv3320, fh)
new_esEs5(Just(yv3280), Just(yv3320), app(app(ty_@2, bg), bh)) → new_esEs14(yv3280, yv3320, bg, bh)
new_esEs11(False, True) → False
new_esEs11(True, False) → False
new_esEs21(yv3280, yv3320, ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs18(yv328, yv332) → new_primEqInt(yv328, yv332)
new_esEs15([], :(yv3320, yv3321), da) → False
new_esEs15(:(yv3280, yv3281), [], da) → False
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Float) → new_esEs8(yv3280, yv3320)
new_esEs26(yv3281, yv3321, app(app(ty_@2, bcf), bcg)) → new_esEs14(yv3281, yv3321, bcf, bcg)
new_esEs21(yv3280, yv3320, ty_Char) → new_esEs9(yv3280, yv3320)
new_esEs25(yv3280, yv3320, ty_Double) → new_esEs10(yv3280, yv3320)
new_esEs21(yv3280, yv3320, ty_Bool) → new_esEs11(yv3280, yv3320)
new_esEs26(yv3281, yv3321, ty_Bool) → new_esEs11(yv3281, yv3321)
new_esEs17(Left(yv3280), Left(yv3320), app(ty_[], beb), fb) → new_esEs15(yv3280, yv3320, beb)
new_esEs5(Just(yv3280), Just(yv3320), ty_Double) → new_esEs10(yv3280, yv3320)
new_esEs26(yv3281, yv3321, ty_@0) → new_esEs6(yv3281, yv3321)
new_esEs22(yv3280, yv3320, app(ty_Ratio, fc)) → new_esEs7(yv3280, yv3320, fc)
new_sr(Neg(yv32810), Neg(yv33210)) → Pos(new_primMulNat0(yv32810, yv33210))
new_esEs12(LT, LT) → True
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Integer) → new_esEs13(yv3280, yv3320)
new_esEs4(yv328, yv332, ty_Float) → new_esEs8(yv328, yv332)
new_esEs24(yv3282, yv3322, app(app(ty_Either, bah), bba)) → new_esEs17(yv3282, yv3322, bah, bba)
new_esEs17(Left(yv3280), Left(yv3320), ty_Double, fb) → new_esEs10(yv3280, yv3320)
new_esEs25(yv3280, yv3320, app(app(ty_Either, bcb), bcc)) → new_esEs17(yv3280, yv3320, bcb, bcc)
new_asAs(False, yv359) → False
new_sr(Pos(yv32810), Pos(yv33210)) → Pos(new_primMulNat0(yv32810, yv33210))
new_esEs22(yv3280, yv3320, ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs5(Just(yv3280), Just(yv3320), ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs22(yv3280, yv3320, ty_@0) → new_esEs6(yv3280, yv3320)
new_primEqNat0(Zero, Zero) → True
new_esEs19(yv3280, yv3320, ty_Integer) → new_esEs13(yv3280, yv3320)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_Bool) → new_esEs11(yv3280, yv3320)
new_esEs26(yv3281, yv3321, ty_Float) → new_esEs8(yv3281, yv3321)
new_primMulNat0(Succ(yv328100), Zero) → Zero
new_primMulNat0(Zero, Succ(yv332100)) → Zero
new_esEs17(Left(yv3280), Left(yv3320), app(app(app(ty_@3, bec), bed), bee), fb) → new_esEs16(yv3280, yv3320, bec, bed, bee)
new_esEs26(yv3281, yv3321, ty_Integer) → new_esEs13(yv3281, yv3321)
new_primMulNat0(Succ(yv328100), Succ(yv332100)) → new_primPlusNat1(new_primMulNat0(yv328100, Succ(yv332100)), yv332100)
new_esEs23(yv3281, yv3321, ty_Ordering) → new_esEs12(yv3281, yv3321)
new_esEs17(Left(yv3280), Left(yv3320), app(ty_Ratio, bdf), fb) → new_esEs7(yv3280, yv3320, bdf)
new_esEs4(yv328, yv332, ty_Double) → new_esEs10(yv328, yv332)
new_esEs25(yv3280, yv3320, ty_Integer) → new_esEs13(yv3280, yv3320)
new_esEs11(True, True) → True
new_esEs23(yv3281, yv3321, app(ty_Maybe, gg)) → new_esEs5(yv3281, yv3321, gg)
new_esEs25(yv3280, yv3320, app(ty_[], bbf)) → new_esEs15(yv3280, yv3320, bbf)
new_esEs23(yv3281, yv3321, app(ty_[], hb)) → new_esEs15(yv3281, yv3321, hb)
new_esEs17(Left(yv3280), Left(yv3320), ty_Int, fb) → new_esEs18(yv3280, yv3320)
new_esEs23(yv3281, yv3321, ty_Char) → new_esEs9(yv3281, yv3321)
new_esEs17(Right(yv3280), Right(yv3320), fa, app(app(ty_@2, bfb), bfc)) → new_esEs14(yv3280, yv3320, bfb, bfc)
new_esEs26(yv3281, yv3321, ty_Double) → new_esEs10(yv3281, yv3321)
new_esEs22(yv3280, yv3320, ty_Float) → new_esEs8(yv3280, yv3320)
new_esEs5(Just(yv3280), Nothing, bd) → False
new_esEs5(Nothing, Just(yv3320), bd) → False
new_esEs26(yv3281, yv3321, app(ty_[], bch)) → new_esEs15(yv3281, yv3321, bch)
new_esEs13(Integer(yv3280), Integer(yv3320)) → new_primEqInt(yv3280, yv3320)
new_esEs25(yv3280, yv3320, ty_Ordering) → new_esEs12(yv3280, yv3320)
new_esEs5(Just(yv3280), Just(yv3320), app(app(app(ty_@3, cb), cc), cd)) → new_esEs16(yv3280, yv3320, cb, cc, cd)
new_primEqInt(Neg(Succ(yv32800)), Neg(Succ(yv33200))) → new_primEqNat0(yv32800, yv33200)
new_esEs17(Right(yv3280), Right(yv3320), fa, ty_@0) → new_esEs6(yv3280, yv3320)
new_esEs25(yv3280, yv3320, ty_Bool) → new_esEs11(yv3280, yv3320)
new_esEs6(@0, @0) → True
new_esEs25(yv3280, yv3320, ty_@0) → new_esEs6(yv3280, yv3320)
new_esEs23(yv3281, yv3321, app(ty_Ratio, gf)) → new_esEs7(yv3281, yv3321, gf)
new_esEs17(Right(yv3280), Right(yv3320), fa, app(app(ty_Either, bfh), bga)) → new_esEs17(yv3280, yv3320, bfh, bga)
new_esEs23(yv3281, yv3321, app(app(ty_Either, hf), hg)) → new_esEs17(yv3281, yv3321, hf, hg)
new_esEs8(Float(yv3280, yv3281), Float(yv3320, yv3321)) → new_esEs18(new_sr(yv3280, yv3320), new_sr(yv3281, yv3321))
new_esEs26(yv3281, yv3321, app(app(ty_Either, bdd), bde)) → new_esEs17(yv3281, yv3321, bdd, bde)
new_esEs17(Left(yv3280), Left(yv3320), ty_Bool, fb) → new_esEs11(yv3280, yv3320)
new_esEs12(EQ, LT) → False
new_esEs12(LT, EQ) → False
new_esEs5(Just(yv3280), Just(yv3320), ty_Ordering) → new_esEs12(yv3280, yv3320)
new_esEs25(yv3280, yv3320, ty_Int) → new_esEs18(yv3280, yv3320)
new_esEs23(yv3281, yv3321, ty_Double) → new_esEs10(yv3281, yv3321)
new_primEqInt(Neg(Zero), Neg(Zero)) → True
new_esEs25(yv3280, yv3320, app(ty_Ratio, bbb)) → new_esEs7(yv3280, yv3320, bbb)
new_esEs5(Nothing, Nothing, bd) → True
new_esEs26(yv3281, yv3321, app(app(app(ty_@3, bda), bdb), bdc)) → new_esEs16(yv3281, yv3321, bda, bdb, bdc)
new_esEs12(GT, GT) → True
new_primEqInt(Neg(Succ(yv32800)), Neg(Zero)) → False
new_primEqInt(Neg(Zero), Neg(Succ(yv33200))) → False
new_esEs26(yv3281, yv3321, ty_Char) → new_esEs9(yv3281, yv3321)
new_primPlusNat1(Zero, yv332100) → Succ(yv332100)
new_esEs21(yv3280, yv3320, ty_Float) → new_esEs8(yv3280, yv3320)
new_esEs23(yv3281, yv3321, ty_Float) → new_esEs8(yv3281, yv3321)
new_esEs9(Char(yv3280), Char(yv3320)) → new_primEqNat0(yv3280, yv3320)
new_esEs22(yv3280, yv3320, app(ty_Maybe, fd)) → new_esEs5(yv3280, yv3320, fd)
new_primPlusNat0(Succ(yv36000), Succ(yv3321000)) → Succ(Succ(new_primPlusNat0(yv36000, yv3321000)))
new_esEs21(yv3280, yv3320, app(ty_Maybe, dc)) → new_esEs5(yv3280, yv3320, dc)
new_esEs10(Double(yv3280, yv3281), Double(yv3320, yv3321)) → new_esEs18(new_sr(yv3280, yv3320), new_sr(yv3281, yv3321))
new_esEs17(Right(yv3280), Right(yv3320), fa, app(ty_[], bfd)) → new_esEs15(yv3280, yv3320, bfd)
new_esEs24(yv3282, yv3322, ty_Float) → new_esEs8(yv3282, yv3322)
new_esEs4(yv328, yv332, app(app(ty_Either, fa), fb)) → new_esEs17(yv328, yv332, fa, fb)
new_esEs14(@2(yv3280, yv3281), @2(yv3320, yv3321), ed, ee) → new_asAs(new_esEs25(yv3280, yv3320, ed), new_esEs26(yv3281, yv3321, ee))
new_asAs(True, yv359) → yv359
new_esEs17(Left(yv3280), Left(yv3320), ty_@0, fb) → new_esEs6(yv3280, yv3320)
new_esEs17(Right(yv3280), Right(yv3320), fa, app(ty_Ratio, beh)) → new_esEs7(yv3280, yv3320, beh)
new_esEs11(False, False) → True
new_primEqInt(Pos(Succ(yv32800)), Pos(Succ(yv33200))) → new_primEqNat0(yv32800, yv33200)
new_esEs7(:%(yv3280, yv3281), :%(yv3320, yv3321), cg) → new_asAs(new_esEs19(yv3280, yv3320, cg), new_esEs20(yv3281, yv3321, cg))
new_esEs25(yv3280, yv3320, app(ty_Maybe, bbc)) → new_esEs5(yv3280, yv3320, bbc)
new_esEs17(Left(yv3280), Left(yv3320), app(ty_Maybe, bdg), fb) → new_esEs5(yv3280, yv3320, bdg)
new_esEs5(Just(yv3280), Just(yv3320), ty_Bool) → new_esEs11(yv3280, yv3320)
new_esEs24(yv3282, yv3322, ty_Int) → new_esEs18(yv3282, yv3322)
new_esEs5(Just(yv3280), Just(yv3320), app(app(ty_Either, ce), cf)) → new_esEs17(yv3280, yv3320, ce, cf)
new_esEs4(yv328, yv332, app(ty_Ratio, cg)) → new_esEs7(yv328, yv332, cg)
new_primEqNat0(Succ(yv32800), Succ(yv33200)) → new_primEqNat0(yv32800, yv33200)
new_esEs22(yv3280, yv3320, app(app(app(ty_@3, ga), gb), gc)) → new_esEs16(yv3280, yv3320, ga, gb, gc)
new_esEs26(yv3281, yv3321, ty_Ordering) → new_esEs12(yv3281, yv3321)
new_esEs17(Right(yv3280), Right(yv3320), fa, app(ty_Maybe, bfa)) → new_esEs5(yv3280, yv3320, bfa)
new_esEs22(yv3280, yv3320, ty_Double) → new_esEs10(yv3280, yv3320)
new_esEs23(yv3281, yv3321, app(app(ty_@2, gh), ha)) → new_esEs14(yv3281, yv3321, gh, ha)
new_esEs24(yv3282, yv3322, ty_Bool) → new_esEs11(yv3282, yv3322)
new_esEs21(yv3280, yv3320, app(ty_Ratio, db)) → new_esEs7(yv3280, yv3320, db)
new_esEs12(EQ, EQ) → True
new_esEs4(yv328, yv332, app(app(ty_@2, ed), ee)) → new_esEs14(yv328, yv332, ed, ee)
new_esEs24(yv3282, yv3322, app(ty_[], bad)) → new_esEs15(yv3282, yv3322, bad)
new_esEs15([], [], da) → True
new_esEs25(yv3280, yv3320, ty_Char) → new_esEs9(yv3280, yv3320)
new_primEqInt(Pos(Succ(yv32800)), Pos(Zero)) → False
new_primEqInt(Pos(Zero), Pos(Succ(yv33200))) → False
new_esEs22(yv3280, yv3320, ty_Integer) → new_esEs13(yv3280, yv3320)
new_esEs22(yv3280, yv3320, app(app(ty_Either, gd), ge)) → new_esEs17(yv3280, yv3320, gd, ge)
new_esEs17(Left(yv3280), Left(yv3320), ty_Integer, fb) → new_esEs13(yv3280, yv3320)
new_primEqInt(Pos(Zero), Neg(Zero)) → True
new_primEqInt(Neg(Zero), Pos(Zero)) → True
new_primPlusNat0(Succ(yv36000), Zero) → Succ(yv36000)
new_primPlusNat0(Zero, Succ(yv3321000)) → Succ(yv3321000)
new_esEs5(Just(yv3280), Just(yv3320), ty_Integer) → new_esEs13(yv3280, yv3320)

The set Q consists of the following terms:

new_esEs17(Right(x0), Right(x1), x2, app(ty_[], x3))
new_esEs17(Right(x0), Right(x1), x2, ty_Ordering)
new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
new_esEs5(Just(x0), Just(x1), ty_Ordering)
new_esEs17(Left(x0), Left(x1), ty_@0, x2)
new_esEs11(True, True)
new_esEs17(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_esEs26(x0, x1, ty_@0)
new_esEs19(x0, x1, ty_Integer)
new_esEs17(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs22(x0, x1, ty_Float)
new_esEs24(x0, x1, ty_@0)
new_primEqInt(Pos(Zero), Neg(Zero))
new_primEqInt(Neg(Zero), Pos(Zero))
new_esEs23(x0, x1, ty_Int)
new_esEs21(x0, x1, ty_Char)
new_esEs17(Left(x0), Left(x1), ty_Bool, x2)
new_esEs19(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Ordering)
new_esEs23(x0, x1, ty_Bool)
new_sr(Neg(x0), Pos(x1))
new_sr(Pos(x0), Neg(x1))
new_esEs17(Left(x0), Left(x1), ty_Integer, x2)
new_esEs24(x0, x1, app(ty_Maybe, x2))
new_esEs5(Just(x0), Just(x1), ty_Float)
new_esEs13(Integer(x0), Integer(x1))
new_esEs22(x0, x1, app(app(ty_Either, x2), x3))
new_esEs23(x0, x1, ty_Float)
new_esEs24(x0, x1, app(ty_[], x2))
new_esEs23(x0, x1, ty_Char)
new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqInt(Neg(Zero), Neg(Zero))
new_esEs24(x0, x1, app(app(ty_@2, x2), x3))
new_esEs22(x0, x1, ty_@0)
new_esEs17(Right(x0), Right(x1), x2, ty_Integer)
new_esEs4(x0, x1, ty_Float)
new_esEs25(x0, x1, ty_Double)
new_esEs5(Just(x0), Just(x1), ty_Bool)
new_esEs26(x0, x1, ty_Double)
new_esEs15(:(x0, x1), [], x2)
new_esEs11(False, True)
new_esEs11(True, False)
new_esEs26(x0, x1, app(ty_Maybe, x2))
new_primMulNat0(Succ(x0), Zero)
new_esEs17(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_esEs21(x0, x1, ty_@0)
new_esEs12(EQ, GT)
new_esEs12(GT, EQ)
new_esEs5(Just(x0), Just(x1), app(ty_[], x2))
new_esEs23(x0, x1, app(ty_[], x2))
new_esEs17(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_esEs26(x0, x1, ty_Float)
new_esEs22(x0, x1, app(ty_[], x2))
new_primEqNat0(Zero, Succ(x0))
new_esEs4(x0, x1, ty_Int)
new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
new_esEs21(x0, x1, app(ty_Ratio, x2))
new_esEs12(GT, GT)
new_esEs16(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs26(x0, x1, app(ty_[], x2))
new_esEs20(x0, x1, ty_Integer)
new_esEs17(Left(x0), Left(x1), ty_Double, x2)
new_esEs21(x0, x1, ty_Ordering)
new_primMulNat0(Succ(x0), Succ(x1))
new_esEs5(Just(x0), Nothing, x1)
new_esEs25(x0, x1, ty_Int)
new_esEs17(Right(x0), Right(x1), x2, ty_Int)
new_esEs17(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_esEs5(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_esEs26(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(x0, x1, app(app(ty_@2, x2), x3))
new_esEs25(x0, x1, app(ty_Maybe, x2))
new_primPlusNat0(Succ(x0), Zero)
new_esEs7(:%(x0, x1), :%(x2, x3), x4)
new_esEs17(Right(x0), Right(x1), x2, ty_@0)
new_esEs10(Double(x0, x1), Double(x2, x3))
new_esEs21(x0, x1, ty_Bool)
new_esEs24(x0, x1, app(ty_Ratio, x2))
new_esEs22(x0, x1, ty_Double)
new_esEs4(x0, x1, ty_Double)
new_esEs4(x0, x1, app(ty_[], x2))
new_esEs4(x0, x1, ty_Char)
new_esEs21(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(x0, x1, ty_Ordering)
new_esEs24(x0, x1, ty_Int)
new_esEs24(x0, x1, ty_Integer)
new_esEs25(x0, x1, ty_@0)
new_esEs24(x0, x1, ty_Float)
new_primPlusNat1(Succ(x0), x1)
new_esEs21(x0, x1, ty_Double)
new_primEqNat0(Zero, Zero)
new_esEs15([], [], x0)
new_esEs17(Right(x0), Right(x1), x2, ty_Bool)
new_esEs17(Right(x0), Right(x1), x2, ty_Float)
new_esEs5(Just(x0), Just(x1), ty_Int)
new_esEs17(Right(x0), Right(x1), x2, ty_Char)
new_esEs5(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs26(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs22(x0, x1, ty_Integer)
new_esEs17(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_esEs17(Left(x0), Left(x1), ty_Int, x2)
new_sr(Pos(x0), Pos(x1))
new_esEs26(x0, x1, ty_Char)
new_esEs24(x0, x1, app(app(ty_Either, x2), x3))
new_asAs(False, x0)
new_primMulNat0(Zero, Zero)
new_esEs25(x0, x1, app(ty_Ratio, x2))
new_primMulNat0(Zero, Succ(x0))
new_esEs17(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_esEs22(x0, x1, ty_Int)
new_esEs24(x0, x1, ty_Bool)
new_esEs26(x0, x1, app(ty_Ratio, x2))
new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs21(x0, x1, app(ty_Maybe, x2))
new_esEs26(x0, x1, ty_Integer)
new_esEs4(x0, x1, ty_Bool)
new_esEs15([], :(x0, x1), x2)
new_esEs23(x0, x1, ty_Ordering)
new_esEs4(x0, x1, ty_Integer)
new_esEs17(Left(x0), Left(x1), ty_Ordering, x2)
new_esEs25(x0, x1, ty_Float)
new_esEs25(x0, x1, ty_Char)
new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs24(x0, x1, ty_Double)
new_esEs17(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs22(x0, x1, app(app(ty_@2, x2), x3))
new_esEs21(x0, x1, ty_Int)
new_primEqInt(Neg(Zero), Pos(Succ(x0)))
new_primEqInt(Pos(Zero), Neg(Succ(x0)))
new_esEs24(x0, x1, ty_Ordering)
new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
new_esEs4(x0, x1, app(ty_Ratio, x2))
new_esEs22(x0, x1, ty_Ordering)
new_esEs25(x0, x1, ty_Bool)
new_esEs9(Char(x0), Char(x1))
new_primPlusNat0(Zero, Succ(x0))
new_esEs8(Float(x0, x1), Float(x2, x3))
new_esEs26(x0, x1, ty_Int)
new_esEs23(x0, x1, app(ty_Ratio, x2))
new_primEqInt(Neg(Succ(x0)), Neg(Zero))
new_esEs22(x0, x1, ty_Char)
new_primEqInt(Neg(Zero), Neg(Succ(x0)))
new_esEs26(x0, x1, ty_Ordering)
new_esEs23(x0, x1, ty_@0)
new_esEs17(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs21(x0, x1, app(ty_[], x2))
new_esEs23(x0, x1, ty_Double)
new_esEs5(Just(x0), Just(x1), ty_@0)
new_primEqNat0(Succ(x0), Succ(x1))
new_esEs21(x0, x1, ty_Integer)
new_esEs25(x0, x1, app(ty_[], x2))
new_esEs5(Just(x0), Just(x1), ty_Char)
new_esEs6(@0, @0)
new_sr(Neg(x0), Neg(x1))
new_asAs(True, x0)
new_esEs11(False, False)
new_esEs25(x0, x1, ty_Integer)
new_esEs17(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_primEqInt(Pos(Succ(x0)), Pos(Zero))
new_esEs5(Just(x0), Just(x1), ty_Double)
new_esEs21(x0, x1, ty_Float)
new_primEqInt(Pos(Zero), Pos(Succ(x0)))
new_esEs17(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_esEs22(x0, x1, app(ty_Maybe, x2))
new_esEs5(Just(x0), Just(x1), ty_Integer)
new_esEs5(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_esEs17(Left(x0), Left(x1), ty_Float, x2)
new_esEs12(LT, EQ)
new_esEs12(EQ, LT)
new_esEs21(x0, x1, app(app(ty_@2, x2), x3))
new_primPlusNat0(Succ(x0), Succ(x1))
new_esEs5(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_esEs12(EQ, EQ)
new_primPlusNat0(Zero, Zero)
new_esEs26(x0, x1, ty_Bool)
new_primEqNat0(Succ(x0), Zero)
new_esEs5(Nothing, Nothing, x0)
new_esEs25(x0, x1, app(app(ty_Either, x2), x3))
new_primEqInt(Pos(Zero), Pos(Zero))
new_esEs14(@2(x0, x1), @2(x2, x3), x4, x5)
new_primPlusNat1(Zero, x0)
new_esEs24(x0, x1, ty_Char)
new_esEs20(x0, x1, ty_Int)
new_esEs23(x0, x1, ty_Integer)
new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs17(Left(x0), Left(x1), ty_Char, x2)
new_primEqInt(Neg(Succ(x0)), Pos(x1))
new_primEqInt(Pos(Succ(x0)), Neg(x1))
new_esEs22(x0, x1, app(ty_Ratio, x2))
new_esEs12(LT, LT)
new_esEs23(x0, x1, app(app(ty_@2, x2), x3))
new_esEs5(Nothing, Just(x0), x1)
new_esEs12(LT, GT)
new_esEs12(GT, LT)
new_esEs4(x0, x1, app(ty_Maybe, x2))
new_esEs18(x0, x1)
new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
new_esEs15(:(x0, x1), :(x2, x3), x4)
new_esEs26(x0, x1, app(app(ty_@2, x2), x3))
new_esEs17(Right(x0), Right(x1), x2, ty_Double)
new_esEs23(x0, x1, app(app(ty_Either, x2), x3))
new_esEs23(x0, x1, app(ty_Maybe, x2))
new_esEs5(Just(x0), Just(x1), app(ty_Ratio, x2))
new_esEs17(Right(x0), Left(x1), x2, x3)
new_esEs17(Left(x0), Right(x1), x2, x3)
new_esEs22(x0, x1, ty_Bool)
new_esEs4(x0, x1, ty_@0)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_nubNub'10(yv341, yv342, yv343, yv344, False, :(yv3460, yv3461), bb) → new_nubNub'1(yv341, yv342, yv343, yv344, yv3460, yv3461, bb)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 6 > 5, 6 > 6, 7 >= 7
new_nubNub'11(yv234, yv235, yv236, yv237, bc) → new_nubNub'1(yv234, yv235, yv236, yv237, yv236, yv237, bc)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 3 >= 5, 4 >= 6, 5 >= 7
new_nubNub'1(yv328, yv329, yv330, yv331, yv332, yv333, ba) → new_nubNub'10(yv328, yv329, yv330, yv331, new_esEs4(yv328, yv332, ba), yv333, ba)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 >= 4, 6 >= 6, 7 >= 7
new_nubNub'(:(yv3420, yv3421), yv343, yv344, bb) → new_nubNub'11(yv3420, yv3421, yv343, yv344, bb)
The graph contains the following edges 1 > 1, 1 > 2, 2 >= 3, 3 >= 4, 4 >= 5
new_nubNub'10(yv341, yv342, yv343, yv344, False, [], bb) → new_nubNub'(yv342, yv341, :(yv343, yv344), bb)
The graph contains the following edges 2 >= 1, 1 >= 2, 7 >= 4
new_nubNub'10(yv341, :(yv3420, yv3421), yv343, yv344, True, yv346, bb) → new_nubNub'11(yv3420, yv3421, yv343, yv344, bb)
The graph contains the following edges 2 > 1, 2 > 2, 3 >= 3, 4 >= 4, 7 >= 5

nub'1	x xs ls True	= nub' xs ls
nub'1	x xs ls False	= nub'0 x xs ls otherwise

nubNub'	[] vw	= nubNub'3 [] vw
nubNub'	(x : xs) ls	= nubNub'2 (x : xs) ls

nubNub'1	x xs ls True	= nubNub' xs ls
nubNub'1	x xs ls False	= nubNub'0 x xs ls otherwise